this->automaton_state = automaton_state;
this->num = pair_num;
this->other_num = -1;
- this->acceptance_pair = 0;
this->atomic_propositions = atomic_propositions;
}
std::shared_ptr<VisitedPair> new_pair = std::make_shared<VisitedPair>(
pair->num, pair->automaton_state, pair->atomic_propositions,
pair->graph_state);
- new_pair->acceptance_pair = 1;
auto res = std::equal_range(acceptancePairs_.begin(), acceptancePairs_.end(),
new_pair.get(), simgrid::mc::DerefAndCompareByNbProcessesAndUsedHeap());
struct XBT_PRIVATE VisitedPair {
int num = 0;
int other_num = 0; /* Dot output for */
- int acceptance_pair = 0;
std::shared_ptr<simgrid::mc::State> graph_state = nullptr; /* System state included */
xbt_automaton_state_t automaton_state = nullptr;
std::vector<int> atomic_propositions;