-typedef struct xbt_exp_label{
- /* fixme: "or", "and", and "not" are reserved keywords in C++ */
- /* enum{or=0, and=1, not=2, predicat=3, one=4} type; */
- int type;
+typedef struct xbt_automaton_exp_label{
+ enum{AUT_OR=0, AUT_AND=1, AUT_NOT=2, AUT_PREDICAT=3, AUT_ONE=4} type;