Skip to content
Snippets Groups Projects
Commit 82fd907d authored by Jan Vesely's avatar Jan Vesely
Browse files

fix compile error in adeterminize.idpda caused by breaking change

parent a710974c
No related branches found
No related tags found
No related merge requests found
...@@ -19,7 +19,7 @@ int main(int argc, char** argv) { ...@@ -19,7 +19,7 @@ int main(int argc, char** argv) {
string input(istreambuf_iterator<char>(cin), (istreambuf_iterator<char>())); string input(istreambuf_iterator<char>(cin), (istreambuf_iterator<char>()));
automaton = AutomatonFactory::fromString(input); automaton = AutomatonFactory::fromString(input);
Automaton* knownAutomaton = AutomatonFactory::buildAutomaton(&automaton); Automaton* knownAutomaton = AutomatonFactory::buildAutomaton(automaton);
// TODO check that automaton is FSM // TODO check that automaton is FSM
IDPDADeterminizer determinizer((PDA*) knownAutomaton); IDPDADeterminizer determinizer((PDA*) knownAutomaton);
PDA* deterministicIDPDA = determinizer.determinize(); PDA* deterministicIDPDA = determinizer.determinize();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment