Exemple #1
0
void MC_pair_delete(mc_pair_t p)
{
  p->automaton_state = NULL;
  if(p->visited_pair_removed)
    MC_state_delete(p->graph_state, 1);
  xbt_dynar_free(&(p->atomic_propositions));
  xbt_free(p);
  p = NULL;
}
Exemple #2
0
VisitedPair::~VisitedPair()
{
  if( !is_exploration_stack_pair(this))
    MC_state_delete(this->graph_state, 1);
}