typedef struct xbt_automaton* xbt_automaton_t;
typedef struct xbt_exp_label{
- enum{or=0, and=1, not=2, predicat=3, one=4} type;
+ /* fixme: "or", "and", and "not" are reserved keywords in C++ */
+ /* enum{or=0, and=1, not=2, predicat=3, one=4} type; */
+ int type;
union{
struct{
struct xbt_exp_label* left_exp;
XBT_PUBLIC(int) automaton_state_compare(xbt_state_t s1, xbt_state_t s2);
-XBT_PUBLIC(int) propositional_symbols_compare_value(const void *s1, const void *s2);
+XBT_PUBLIC(int) propositional_symbols_compare_value(xbt_dynar_t s1, xbt_dynar_t s2);
XBT_PUBLIC(int) automaton_transition_compare(const void *t1, const void *t2);