diff --git a/alib2/src/automaton/FSM/EpsilonNFA.cpp b/alib2/src/automaton/FSM/EpsilonNFA.cpp index e64ba09dcde48be2f11a4b9ecc85364b7cecdb85..d1afbb821105ee6f96c0617998b8752b2220c8a5 100644 --- a/alib2/src/automaton/FSM/EpsilonNFA.cpp +++ b/alib2/src/automaton/FSM/EpsilonNFA.cpp @@ -154,7 +154,7 @@ std::map<std::pair<State, alphabet::Symbol>, std::set<State> > EpsilonNFA::getSy std::map<std::pair<State, alphabet::Symbol>, std::set<State> > transitionsFromState; for (std::map<std::pair<State, std::variant<string::Epsilon, alphabet::Symbol> >, std::set<State> >::const_iterator transition = transitions.begin(); transition != transitions.end(); transition++) { - if (transition->first.first == from && transition->first.second.is<string::Epsilon>()) { + if (transition->first.first == from && transition->first.second.is<alphabet::Symbol>()) { transitionsFromState[std::pair<State, alphabet::Symbol>(transition->first.first, transition->first.second.get<alphabet::Symbol>())].insert(transition->second.begin(), transition->second.end()); } } @@ -199,7 +199,7 @@ std::map<std::pair<State, alphabet::Symbol>, std::set<State> > EpsilonNFA::getSy std::map<std::pair<State, alphabet::Symbol>, std::set<State> > transitionsToState; for (std::map<std::pair<State, std::variant<string::Epsilon, alphabet::Symbol> >, std::set<State> >::const_iterator transition = transitions.begin(); transition != transitions.end(); transition++) { - if (transition->second.find(to) != transition->second.end() && transition->first.second.is<string::Epsilon>()) { + if (transition->second.find(to) != transition->second.end() && transition->first.second.is<alphabet::Symbol>()) { transitionsToState[std::pair<State, alphabet::Symbol>(transition->first.first, transition->first.second.get<alphabet::Symbol>())].insert(transition->second.begin(), transition->second.end()); } }