-static int MC_automaton_evaluate_label(xbt_automaton_exp_label_t l,
- xbt_dynar_t atomic_propositions_values)
+VisitedPair::VisitedPair(
+ int pair_num, xbt_automaton_state_t automaton_state,
+ std::vector<int> const& atomic_propositions, std::shared_ptr<simgrid::mc::State> graph_state)
+{
+ simgrid::mc::Process* process = &(mc_model_checker->process());
+
+ this->graph_state = std::move(graph_state);
+ if(this->graph_state->system_state == nullptr)
+ this->graph_state->system_state = simgrid::mc::take_snapshot(pair_num);
+ this->heap_bytes_used = mmalloc_get_bytes_used_remote(
+ process->get_heap()->heaplimit,
+ process->get_malloc_info());
+
+ this->nb_processes =
+ mc_model_checker->process().simix_processes().size();
+
+ this->automaton_state = automaton_state;
+ this->num = pair_num;
+ this->other_num = -1;
+ this->acceptance_pair = 0;
+ this->atomic_propositions = atomic_propositions;
+}
+
+VisitedPair::~VisitedPair()
+{
+}
+
+static int MC_automaton_evaluate_label(
+ xbt_automaton_exp_label_t l,
+ std::vector<int> const& atomic_propositions_values)