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

typo

parent 16fba89b
No related branches found
No related tags found
No related merge requests found
......@@ -28,7 +28,8 @@ using namespace alib;
#define VERSION "0.0.1"
 
 
void printHelp() {
void printHelp()
{
cout << "adeterminize " << VERSION << endl;
cout << "Determinize various types of automaton." << endl;
cout << "Usage: adeterminize -t TYPE [SWITCH...]" << endl;
......@@ -40,7 +41,8 @@ void printHelp() {
}
 
 
Determinizer* getVpaDeterminizer(Automaton* automaton, string version) {
Determinizer* getVpaDeterminizer(Automaton* automaton, string version)
{
if (version == "3") {
return new vpa::VpaDeterminizer3((PDA*) automaton);
} else if (version == "2") {
......@@ -50,7 +52,8 @@ Determinizer* getVpaDeterminizer(Automaton* automaton, string version) {
}
 
 
Determinizer* getRhdpdaDeterminizer(Automaton* automaton, string version) {
Determinizer* getRhdpdaDeterminizer(Automaton* automaton, string version)
{
if (version == "4") {
return new rhdpda::RhdpdaDeterminizer4((PDA*) automaton);
} else if (version == "3") {
......@@ -62,7 +65,8 @@ Determinizer* getRhdpdaDeterminizer(Automaton* automaton, string version) {
}
 
 
Determinizer* getDeterminizer(Automaton* automaton, string type, string version) {
Determinizer* getDeterminizer(Automaton* automaton, string type, string version)
{
string _type;
for (const auto& c : type) {
_type.append(1, tolower(c));
......@@ -86,7 +90,8 @@ Determinizer* getDeterminizer(Automaton* automaton, string type, string version)
}
 
 
int main(int argc, char** argv) {
int main(int argc, char** argv)
{
static struct option longOptions[] = {
{"type", required_argument, NULL, 't'},
{"algorithm", required_argument, NULL, 'a'},
......
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