+namespace simgrid {
+namespace mc {
+
+Pair::Pair() : num(++mc_stats->expanded_pairs),
+ visited_pair_removed(_sg_mc_visited > 0 ? 0 : 1)
+{}
+
+Pair::~Pair() {
+ this->automaton_state = nullptr;
+ if (this->visited_pair_removed)
+ MC_state_delete(this->graph_state, 1);
+ xbt_dynar_free(&(this->atomic_propositions));
+}
+