Skip to content
Snippets Groups Projects
Commit d1437c04 authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files

anormalize: Add single initial state simplify algorithm

parent 6cdca5de
No related branches found
No related tags found
1 merge request!6aNormalize: Single Initial State
......@@ -10,6 +10,7 @@
#include "exception/AlibException.h"
#include "factory/DataFactory.hpp"
#include "automaton/simplify/Normalize.h"
#include "automaton/simplify/SingleInitialState.h"
#include "grammar/convert/ToGrammarLeftRG.h"
#include "grammar/convert/ToGrammarRightRG.h"
 
......@@ -21,7 +22,7 @@ int main(int argc, char** argv) {
TCLAP::ValueArg<std::string> input( "i", "input", "Input to normalize", false, "-", "file");
cmd.add( input );
 
std::vector<std::string> forms {"leftRG", "rightRG" };
std::vector<std::string> forms {"leftRG", "rightRG", "singleInitialState" };
TCLAP::ValuesConstraint<std::string> formVals( forms );
 
TCLAP::ValueArg<std::string> form( "f", "form", "Convert to different form", false, "", &formVals);
......@@ -58,6 +59,9 @@ int main(int argc, char** argv) {
} else if(form.getValue() == "rightRG") {
alib::DataFactory::toStdout(grammar::convert::ToGrammarRightRG::convert(alib::DataFactory::fromTokens<grammar::Grammar>( tokens )));
return 0;
} else if(form.getValue() == "singleInitialState") {
alib::DataFactory::toStdout(automaton::simplify::SingleInitialState::convert(alib::DataFactory::fromTokens<automaton::Automaton>(tokens)));
return 0;
} else {
throw exception::AlibException("Invalid normalize command");
}
......
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