- /*if(memcmp(pair_test->automaton_state, pair->automaton_state, sizeof(xbt_state_t)) == 0){
- for(i=0; i< size; i++){
- d1 = xbt_dynar_get_as(pair->prop_ato, i, int);
- d2 = xbt_dynar_get_as(pair_test->prop_ato, i, int);
- if(d1 == d2){
+ if(automaton_state_compare(pair_test->automaton_state, pair->automaton_state) == 0){
+ //XBT_DEBUG("Same automaton state");
+ if(xbt_dynar_compare(pair_test->prop_ato, pair->prop_ato, propositional_symbols_compare_value) == 0){
+ //XBT_DEBUG("Same values of propositional symbols");
+ if(snapshot_compare(pair_test->system_state, pair->system_state) == 0){
+ //XBT_DEBUG("Same system state");