-void pair_visited_free(mc_pair_visited_t pair){
- if(pair){
- pair->automaton_state = NULL;
- xbt_dynar_free(&(pair->prop_ato));
- MC_free_snapshot(pair->system_state);
- xbt_free(pair);
- }
-}
-
-void pair_visited_free_voidp(void *p){
- pair_visited_free((mc_pair_visited_t) * (void **) p);
-}
-
-void pair_stateless_free(mc_pair_stateless_t pair){
- xbt_free(pair->graph_state->system_state);
- xbt_free(pair->graph_state->proc_status);
- xbt_free(pair->graph_state);
- xbt_free(pair);
-}
-
-void pair_stateless_free_voidp(void *p){
- pair_stateless_free((mc_pair_stateless_t) * (void **) p);
-}
-
-mc_pair_stateless_t new_pair_stateless(mc_state_t sg, xbt_state_t st, int r){
- mc_pair_stateless_t p = NULL;
- p = xbt_new0(s_mc_pair_stateless_t, 1);
- p->automaton_state = st;
- p->graph_state = sg;
- p->requests = r;
- mc_stats_pair->expanded_pairs++;
- return p;
-}
-
-void pair_reached_free(mc_pair_reached_t pair){
- if(pair){
- pair->automaton_state = NULL;
- xbt_dynar_free(&(pair->prop_ato));
- if(pair->comparison_times != NULL){
- xbt_dynar_free(&(pair->comparison_times->snapshot_comparison_times));
- xbt_dynar_free(&(pair->comparison_times->chunks_used_comparison_times));
- xbt_dynar_free(&(pair->comparison_times->stacks_sizes_comparison_times));
- xbt_dynar_free(&(pair->comparison_times->binary_global_variables_comparison_times));
- xbt_dynar_free(&(pair->comparison_times->libsimgrid_global_variables_comparison_times));
- xbt_dynar_free(&(pair->comparison_times->heap_comparison_times));
- xbt_dynar_free(&(pair->comparison_times->stacks_comparison_times));
- }
- MC_free_snapshot(pair->system_state);
- xbt_free(pair);
- }
-}
-
-void pair_reached_free_voidp(void *p){
- pair_reached_free((mc_pair_reached_t) * (void **) p);
-}