From a591fae017ee990511a45b48f101fad01fa99c0a Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Tue, 29 Apr 2014 12:31:02 +0200
Subject: [PATCH] typo
---
adeterminize/src/adeterminize.cpp | 15 ++++++++++-----
1 file changed, 10 insertions(+), 5 deletions(-)
diff --git a/adeterminize/src/adeterminize.cpp b/adeterminize/src/adeterminize.cpp
index 890e48526d..45ba8a307d 100644
--- a/adeterminize/src/adeterminize.cpp
+++ b/adeterminize/src/adeterminize.cpp
@@ -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'},
--
GitLab