Skip to content
Snippets Groups Projects
Commit 842e5da7 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

refactor

parent c5e8de64
No related branches found
No related tags found
No related merge requests found
......@@ -45,36 +45,28 @@ int main(int argc, char** argv) {
sax::SaxParseInterface::parseStdin(tokens);
}
 
if(efficient.getValue()) {
if(algorithm.getValue() == "outgoing") {
if(algorithm.getValue() == "outgoing") {
if(efficient.getValue())
alib::XmlDataFactory::toStdout(automaton::simplify::efficient::EpsilonRemoverOutgoing::remove(alib::XmlDataFactory::fromTokens<automaton::Automaton>(tokens)));
} else if(algorithm.getValue() == "incoming") {
alib::XmlDataFactory::toStdout(automaton::simplify::efficient::EpsilonRemoverIncoming::remove(alib::XmlDataFactory::fromTokens<automaton::Automaton>(tokens)));
} else if(algorithm.getValue() == "default") {
if(alib::XmlDataFactory::first<automaton::Automaton>(tokens))
alib::XmlDataFactory::toStdout(automaton::simplify::efficient::EpsilonRemoverIncoming::remove(alib::XmlDataFactory::fromTokens<automaton::Automaton>(tokens)));
else if(alib::XmlDataFactory::first<grammar::Grammar>(tokens))
throw exception::AlibException("NYI");
else
throw exception::AlibException("Invalid formalism");
} else {
throw exception::AlibException("Invalid algorithm");
}
} else {
if(algorithm.getValue() == "outgoing") {
else
alib::XmlDataFactory::toStdout(automaton::simplify::EpsilonRemoverOutgoing::remove(alib::XmlDataFactory::fromTokens<automaton::Automaton>(tokens)));
} else if(algorithm.getValue() == "incoming") {
} else if(algorithm.getValue() == "incoming") {
if(efficient.getValue())
alib::XmlDataFactory::toStdout(automaton::simplify::efficient::EpsilonRemoverIncoming::remove(alib::XmlDataFactory::fromTokens<automaton::Automaton>(tokens)));
else
alib::XmlDataFactory::toStdout(automaton::simplify::EpsilonRemoverIncoming::remove(alib::XmlDataFactory::fromTokens<automaton::Automaton>(tokens)));
} else if(algorithm.getValue() == "default") {
if(alib::XmlDataFactory::first<automaton::Automaton>(tokens))
} else if(algorithm.getValue() == "default") {
if(alib::XmlDataFactory::first<automaton::Automaton>(tokens))
if(efficient.getValue())
alib::XmlDataFactory::toStdout(automaton::simplify::EpsilonRemoverIncoming::remove(alib::XmlDataFactory::fromTokens<automaton::Automaton>(tokens)));
else if(alib::XmlDataFactory::first<grammar::Grammar>(tokens))
alib::XmlDataFactory::toStdout(grammar::simplify::EpsilonRemover::remove(alib::XmlDataFactory::fromTokens<grammar::Grammar>(tokens)));
else
throw exception::AlibException("Invalid formalism");
} else {
throw exception::AlibException("Invalid algorithm");
}
alib::XmlDataFactory::toStdout(automaton::simplify::efficient::EpsilonRemoverIncoming::remove(alib::XmlDataFactory::fromTokens<automaton::Automaton>(tokens)));
else if(alib::XmlDataFactory::first<grammar::Grammar>(tokens))
alib::XmlDataFactory::toStdout(grammar::simplify::EpsilonRemover::remove(alib::XmlDataFactory::fromTokens<grammar::Grammar>(tokens)));
else
throw exception::AlibException("Invalid formalism");
} else {
throw exception::AlibException("Invalid algorithm");
}
return 0;
 
......
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