C++ (Cpp) MC_state_delete Exemples

Exemple #1

Fichier : mc_pair.cpp Projet : FlorianPO/simgrid

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

Fichier : mc_visited.cpp Projet : glesserd/simgrid

VisitedPair::~VisitedPair()
{
  if( !is_exploration_stack_pair(this))
    MC_state_delete(this->graph_state, 1);
}