-typedef struct s_mc_acceptance_pair{
- int num;
- xbt_automaton_state_t automaton_state;
- xbt_dynar_t prop_ato;
- mc_snapshot_t system_state;
-}s_mc_acceptance_pair_t, *mc_acceptance_pair_t;
-
-typedef struct s_mc_visited_pair{
- xbt_automaton_state_t automaton_state;
- xbt_dynar_t prop_ato;
- mc_snapshot_t system_state;
- int num;
-}s_mc_visited_pair_t, *mc_visited_pair_t;
-
-mc_pair_t MC_pair_new(mc_state_t sg, xbt_automaton_state_t st, int r);