C++ (Cpp) MC_state_delete示例

示例#1

文件： mc_pair.cpp 项目： 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;
}

示例#2

文件： mc_visited.cpp 项目： glesserd/simgrid

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