diff --git a/alib2algo/src/grammar/simplify/EpsilonRemover.cpp b/alib2algo/src/grammar/simplify/EpsilonRemover.cpp
index 1b68885004047eed5b7be3be9a84fa0a7e71b71a..c68bde029039423921b2263de28a93d57ecce32d 100644
--- a/alib2algo/src/grammar/simplify/EpsilonRemover.cpp
+++ b/alib2algo/src/grammar/simplify/EpsilonRemover.cpp
@@ -88,7 +88,7 @@ grammar::EpsilonFreeCFG EpsilonRemover::remove( const grammar::CFG & origGrammar
grammar::Grammar EpsilonRemover::remove(const grammar::Grammar& grammar) {
grammar::Grammar* out = NULL;
- grammar.getData().Accept((void*) &out, EpsilonRemover::EPSILON_REMOVER_);
+ grammar.getData().Accept((void*) &out, EpsilonRemover::EPSILON_REMOVER);
grammar::Grammar res = std::move(*out);
delete out;
return res;
@@ -154,7 +154,7 @@ void EpsilonRemover::Visit(void*, const grammar::UnrestrictedGrammar&) const {
throw exception::AlibException("Unsupported grammar type UnrestrictedGrammar");
}
-const EpsilonRemover EpsilonRemover::EPSILON_REMOVER_;
+const EpsilonRemover EpsilonRemover::EPSILON_REMOVER;
} /* namespace simplify */
diff --git a/alib2algo/src/grammar/simplify/EpsilonRemover.h b/alib2algo/src/grammar/simplify/EpsilonRemover.h
index ac3ce82122d50482cce204985bacd3551ca1bb9f..e38f4cd7ceffa24b1831bfa7b01cb8c5d81de104 100644
--- a/alib2algo/src/grammar/simplify/EpsilonRemover.h
+++ b/alib2algo/src/grammar/simplify/EpsilonRemover.h
@@ -55,7 +55,7 @@ private:
void Visit(void*, const grammar::ContextPreservingUnrestrictedGrammar& grammar) const;
void Visit(void*, const grammar::UnrestrictedGrammar& grammar) const;
- static const EpsilonRemover EPSILON_REMOVER_;
+ static const EpsilonRemover EPSILON_REMOVER;
};
} /* namespace simplify */
diff --git a/alib2data/src/automaton/FSM/CompactNFA.cpp b/alib2data/src/automaton/FSM/CompactNFA.cpp
index 4717dc0adfbfad4a94e07c2407544609b2998cf6..f721b3b5df554160f65ce582c807893e59c064bc 100644
--- a/alib2data/src/automaton/FSM/CompactNFA.cpp
+++ b/alib2data/src/automaton/FSM/CompactNFA.cpp
@@ -173,7 +173,7 @@ int CompactNFA::compare(const CompactNFA& other) const {
}
void CompactNFA::operator>>(std::ostream& out) const {
- out << "(CompactNFA"
+ out << "(CompactNFA "
<< "states = " << states
<< "inputAlphabet = " << inputAlphabet
<< "initialState = " << initialState
diff --git a/alib2data/src/automaton/FSM/DFA.cpp b/alib2data/src/automaton/FSM/DFA.cpp
index cf5c9eb51c6e4b1e34ff5fef9b137d6181c762f6..95ff3c9cd64adec3a0671613e6a8ce43a4d508f9 100644
--- a/alib2data/src/automaton/FSM/DFA.cpp
+++ b/alib2data/src/automaton/FSM/DFA.cpp
@@ -141,7 +141,7 @@ int DFA::compare(const DFA& other) const {
}
void DFA::operator>>(std::ostream& out) const {
- out << "(DFA"
+ out << "(DFA "
<< " states = " << states
<< " inputAlphabet = " << inputAlphabet
<< " initialState = " << initialState
diff --git a/alib2data/src/automaton/FSM/EpsilonNFA.cpp b/alib2data/src/automaton/FSM/EpsilonNFA.cpp
index 16bde674c8c2c556b5df070709d7a8c64e2cd05d..4601d595a996256750ec45efbdda2ac935ea37b3 100644
--- a/alib2data/src/automaton/FSM/EpsilonNFA.cpp
+++ b/alib2data/src/automaton/FSM/EpsilonNFA.cpp
@@ -274,7 +274,7 @@ int EpsilonNFA::compare(const EpsilonNFA& other) const {
}
void EpsilonNFA::operator>>(std::ostream& out) const {
- out << "(EpsilonNFA"
+ out << "(EpsilonNFA "
<< " states = " << states
<< " inputAlphabet = " << inputAlphabet
<< " initialState = " << initialState
diff --git a/alib2data/src/automaton/FSM/ExtendedNFA.cpp b/alib2data/src/automaton/FSM/ExtendedNFA.cpp
index 3b6699d2a407b3c38b1c9eafb5f78903a45d3393..14b34fcbd994593d77bda79cfa930406bee66833 100644
--- a/alib2data/src/automaton/FSM/ExtendedNFA.cpp
+++ b/alib2data/src/automaton/FSM/ExtendedNFA.cpp
@@ -185,7 +185,7 @@ int ExtendedNFA::compare(const ExtendedNFA& other) const {
}
void ExtendedNFA::operator>>(std::ostream& out) const {
- out << "(ExtendedNFA"
+ out << "(ExtendedNFA "
<< " states = " << states
<< " inputAlphabet = " << inputAlphabet
<< " initialState = " << initialState
diff --git a/alib2data/src/automaton/FSM/MultiInitialStateNFA.cpp b/alib2data/src/automaton/FSM/MultiInitialStateNFA.cpp
index d0b9c757bd6ff453c89ce6e5426f874ec2f524e7..58447e8b100d6398513b6b988584bec45b0ba7cb 100644
--- a/alib2data/src/automaton/FSM/MultiInitialStateNFA.cpp
+++ b/alib2data/src/automaton/FSM/MultiInitialStateNFA.cpp
@@ -164,7 +164,7 @@ int MultiInitialStateNFA::compare(const MultiInitialStateNFA& other) const {
}
void MultiInitialStateNFA::operator>>(std::ostream& out) const {
- out << "(MultiInitialStateNFA"
+ out << "(MultiInitialStateNFA "
<< " states = " << states
<< " inputAlphabet = " << inputAlphabet
<< " initialStates = " << initialStates
diff --git a/alib2data/src/automaton/FSM/NFA.cpp b/alib2data/src/automaton/FSM/NFA.cpp
index 402e9bd1b2f2cefcc2f22f6197ce68c002b2e663..42b76332d80c81c84a16c2fb27d97da69f429982 100644
--- a/alib2data/src/automaton/FSM/NFA.cpp
+++ b/alib2data/src/automaton/FSM/NFA.cpp
@@ -147,7 +147,7 @@ int NFA::compare(const NFA& other) const {
}
void NFA::operator>>(std::ostream& out) const {
- out << "(NFA"
+ out << "(NFA "
<< " states = " << states
<< " inputAlphabet = " << inputAlphabet
<< " initialState = " << initialState
diff --git a/alib2data/src/automaton/PDA/DPDA.cpp b/alib2data/src/automaton/PDA/DPDA.cpp
index bd5199bac1a1d72a00a22979a2780a41c3bda281..be0e9012c4002c9833d484f3dc1c9cebb89abbe9 100644
--- a/alib2data/src/automaton/PDA/DPDA.cpp
+++ b/alib2data/src/automaton/PDA/DPDA.cpp
@@ -231,7 +231,7 @@ int DPDA::compare(const DPDA& other) const {
}
void DPDA::operator>>(std::ostream& out) const {
- out << "(DPDA"
+ out << "(DPDA "
<< "states = " << states
<< "inputAlphabet = " << inputAlphabet
<< "initialState = " << initialState
diff --git a/alib2data/src/automaton/PDA/InputDrivenNPDA.cpp b/alib2data/src/automaton/PDA/InputDrivenNPDA.cpp
index 3e5a7518950c3eea9ff443896176da5545e5d47a..e524b4690db988befe15740c68475afc46b26387 100644
--- a/alib2data/src/automaton/PDA/InputDrivenNPDA.cpp
+++ b/alib2data/src/automaton/PDA/InputDrivenNPDA.cpp
@@ -183,7 +183,7 @@ int InputDrivenNPDA::compare(const InputDrivenNPDA& other) const {
}
void InputDrivenNPDA::operator>>(std::ostream& out) const {
- out << "(InputDrivenNPDA"
+ out << "(InputDrivenNPDA "
<< " states = " << states
<< " inputAlphabet = " << inputAlphabet
<< " initialStates = " << initialStates
diff --git a/alib2data/src/automaton/PDA/NPDA.cpp b/alib2data/src/automaton/PDA/NPDA.cpp
index 792d9f720011af72c736665daa2cb05975a6cef4..a6c96839b93aff4a686da1917bec7f3d7c13462d 100644
--- a/alib2data/src/automaton/PDA/NPDA.cpp
+++ b/alib2data/src/automaton/PDA/NPDA.cpp
@@ -142,7 +142,7 @@ int NPDA::compare(const NPDA& other) const {
}
void NPDA::operator>>(std::ostream& out) const {
- out << "(NPDA"
+ out << "(NPDA "
<< "states = " << states
<< "inputAlphabet = " << inputAlphabet
<< "initialStates = " << initialStates
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp
index a85d75bb937fcde4637f04f3acdccc1030f0a45b..969ba37a261acc0c4333bcfc6fc3366603d4843a 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp
@@ -375,7 +375,7 @@ int RealTimeHeightDeterministicDPDA::compare(const RealTimeHeightDeterministicDP
}
void RealTimeHeightDeterministicDPDA::operator>>(std::ostream& out) const {
- out << "(RealTimeHeightDeterministicDPDA"
+ out << "(RealTimeHeightDeterministicDPDA "
<< "states = " << states
<< "inputAlphabet = " << inputAlphabet
<< "initialState = " << initialState
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.cpp b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.cpp
index fad698ce43c4df435bf3f399b18cd8b02f7fb155..c07360133533ae61237b5d9f4a5aba43cae07f01 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.cpp
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.cpp
@@ -266,7 +266,7 @@ int RealTimeHeightDeterministicNPDA::compare(const RealTimeHeightDeterministicNP
}
void RealTimeHeightDeterministicNPDA::operator>>(std::ostream& out) const {
- out << "(RealTimeHeightDeterministicNPDA"
+ out << "(RealTimeHeightDeterministicNPDA "
<< "states = " << states
<< "inputAlphabet = " << inputAlphabet
<< "initialStates = " << initialStates
diff --git a/alib2data/src/automaton/PDA/SinglePopDPDA.cpp b/alib2data/src/automaton/PDA/SinglePopDPDA.cpp
index c7ff48430771997cf2c9f3788dde3c13b0f1d9ba..b8e1a85633d0fba4b56fe1aa2ad8e07ca33c02f2 100644
--- a/alib2data/src/automaton/PDA/SinglePopDPDA.cpp
+++ b/alib2data/src/automaton/PDA/SinglePopDPDA.cpp
@@ -177,7 +177,7 @@ int SinglePopDPDA::compare(const SinglePopDPDA& other) const {
}
void SinglePopDPDA::operator>>(std::ostream& out) const {
- out << "(SinglePopDPDA"
+ out << "(SinglePopDPDA "
<< "states = " << states
<< "inputAlphabet = " << inputAlphabet
<< "initialState = " << initialState
diff --git a/alib2data/src/automaton/PDA/SinglePopNPDA.cpp b/alib2data/src/automaton/PDA/SinglePopNPDA.cpp
index 9fc7f474b5311de540c58c5d48c3d5437b629ee3..90d2e1dfedb6a2bb87ffecceb49b486d8d0ecf3b 100644
--- a/alib2data/src/automaton/PDA/SinglePopNPDA.cpp
+++ b/alib2data/src/automaton/PDA/SinglePopNPDA.cpp
@@ -138,7 +138,7 @@ int SinglePopNPDA::compare(const SinglePopNPDA& other) const {
}
void SinglePopNPDA::operator>>(std::ostream& out) const {
- out << "(SinglePopNPDA"
+ out << "(SinglePopNPDA "
<< "states = " << states
<< "inputAlphabet = " << inputAlphabet
<< "initialStates = " << initialStates
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.cpp b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.cpp
index 71d99760312c3904cd4e272dc2199a34219c32ba..b05d32a143f04f5d5adbc0c49153b9d4ca29821e 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.cpp
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.cpp
@@ -273,7 +273,7 @@ int VisiblyPushdownDPDA::compare(const VisiblyPushdownDPDA& other) const {
}
void VisiblyPushdownDPDA::operator>>(std::ostream& out) const {
- out << "(VisiblyPushdownDPDA"
+ out << "(VisiblyPushdownDPDA "
<< "states = " << states
<< "callInputAlphabet = " << callInputAlphabet
<< "returnInputAlphabet = " << returnInputAlphabet
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp
index e72e3e0b48f581ceeed23f56725b368794903a94..a128e07dbc526cc116dd2407841ac763771c5cbe 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp
@@ -206,7 +206,7 @@ int VisiblyPushdownNPDA::compare(const VisiblyPushdownNPDA& other) const {
}
void VisiblyPushdownNPDA::operator>>(std::ostream& out) const {
- out << "(VisiblyPushdownNPDA"
+ out << "(VisiblyPushdownNPDA "
<< "states = " << states
<< "callInputAlphabet = " << callInputAlphabet
<< "returnInputAlphabet = " << returnInputAlphabet
diff --git a/alib2data/src/automaton/TM/OneTapeDTM.cpp b/alib2data/src/automaton/TM/OneTapeDTM.cpp
index 24078fae6d25575fddee13aa8ab82d4bb63da87b..d10917dea2ee3fe2ab6db5b4724215529731c740 100644
--- a/alib2data/src/automaton/TM/OneTapeDTM.cpp
+++ b/alib2data/src/automaton/TM/OneTapeDTM.cpp
@@ -123,7 +123,7 @@ int OneTapeDTM::compare(const OneTapeDTM& other) const {
}
void OneTapeDTM::operator>>(std::ostream& out) const {
- out << "(OneTapeDTM"
+ out << "(OneTapeDTM "
<< "states = " << states
<< "inputAlphabet = " << inputAlphabet
<< "initialState = " << initialState
diff --git a/alib2data/src/grammar/ContextFree/CFG.cpp b/alib2data/src/grammar/ContextFree/CFG.cpp
index 28970e6f532eefcdef2d23d09bf73275d4554727..2117024e3e00e88787b0e85c2d32fdd559277a9b 100644
--- a/alib2data/src/grammar/ContextFree/CFG.cpp
+++ b/alib2data/src/grammar/ContextFree/CFG.cpp
@@ -98,7 +98,7 @@ int CFG::compare(const CFG& other) const {
}
void CFG::operator>>(std::ostream& out) const {
- out << "(CFG"
+ out << "(CFG "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/ContextFree/CNF.cpp b/alib2data/src/grammar/ContextFree/CNF.cpp
index d49d05de8b057f27c3fe4e854fd80c8ce3c5f8da..81327a8d846d6347a8aae1dddeb3a094e75972ec 100644
--- a/alib2data/src/grammar/ContextFree/CNF.cpp
+++ b/alib2data/src/grammar/ContextFree/CNF.cpp
@@ -180,7 +180,7 @@ int CNF::compare(const CNF& other) const {
}
void CNF::operator>>(std::ostream& out) const {
- out << "(CNF"
+ out << "(CNF "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/ContextFree/EpsilonFreeCFG.cpp b/alib2data/src/grammar/ContextFree/EpsilonFreeCFG.cpp
index b218dfa80ec306effc97ae68528a4f2223e59627..3c725e87b1304fb1c5f924b84a144de9dedb4ebc 100644
--- a/alib2data/src/grammar/ContextFree/EpsilonFreeCFG.cpp
+++ b/alib2data/src/grammar/ContextFree/EpsilonFreeCFG.cpp
@@ -131,7 +131,7 @@ int EpsilonFreeCFG::compare(const EpsilonFreeCFG& other) const {
}
void EpsilonFreeCFG::operator>>(std::ostream& out) const {
- out << "(EpsilonFreeCFG"
+ out << "(EpsilonFreeCFG "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/ContextFree/GNF.cpp b/alib2data/src/grammar/ContextFree/GNF.cpp
index 1442c78ec8f0568a18539af8b6c2b4b7dc073a4c..3b6a9390dd03517ea689ce0d6666b6ed53990035 100644
--- a/alib2data/src/grammar/ContextFree/GNF.cpp
+++ b/alib2data/src/grammar/ContextFree/GNF.cpp
@@ -139,7 +139,7 @@ int GNF::compare(const GNF& other) const {
}
void GNF::operator>>(std::ostream& out) const {
- out << "(GNF"
+ out << "(GNF "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/ContextFree/LG.cpp b/alib2data/src/grammar/ContextFree/LG.cpp
index c72293d1a2591aaf3362eb20e033c9cee147a23d..37b54205fede2dee02948619ae67b2a7206eb53c 100644
--- a/alib2data/src/grammar/ContextFree/LG.cpp
+++ b/alib2data/src/grammar/ContextFree/LG.cpp
@@ -189,7 +189,7 @@ int LG::compare(const LG& other) const {
}
void LG::operator>>(std::ostream& out) const {
- out << "(LG"
+ out << "(LG "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/ContextSensitive/CSG.cpp b/alib2data/src/grammar/ContextSensitive/CSG.cpp
index c670106e89e0e0f0392669a2ff1e14629be498ae..fac3fd86daadd13a41fc6a7589fb80377cbf27cc 100644
--- a/alib2data/src/grammar/ContextSensitive/CSG.cpp
+++ b/alib2data/src/grammar/ContextSensitive/CSG.cpp
@@ -128,7 +128,7 @@ int CSG::compare(const CSG& other) const {
}
void CSG::operator>>(std::ostream& out) const {
- out << "(CSG"
+ out << "(CSG "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/ContextSensitive/NonContractingGrammar.cpp b/alib2data/src/grammar/ContextSensitive/NonContractingGrammar.cpp
index afefadb085215ca68d76df334ce80b66ebb9bc3f..e7859f562db36804b9b04d5bd05c7c49001abd2f 100644
--- a/alib2data/src/grammar/ContextSensitive/NonContractingGrammar.cpp
+++ b/alib2data/src/grammar/ContextSensitive/NonContractingGrammar.cpp
@@ -109,7 +109,7 @@ int NonContractingGrammar::compare(const NonContractingGrammar& other) const {
}
void NonContractingGrammar::operator>>(std::ostream& out) const {
- out << "(NonContractingGrammar"
+ out << "(NonContractingGrammar "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/Regular/LeftLG.cpp b/alib2data/src/grammar/Regular/LeftLG.cpp
index ad48e43948acd2ca0facbc7fc037957c990bada8..7ba497ebfc5b195f088dd4bddde46689f2c9f0ee 100644
--- a/alib2data/src/grammar/Regular/LeftLG.cpp
+++ b/alib2data/src/grammar/Regular/LeftLG.cpp
@@ -174,7 +174,7 @@ int LeftLG::compare(const LeftLG& other) const {
}
void LeftLG::operator>>(std::ostream& out) const {
- out << "(LeftLG"
+ out << "(LeftLG "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/Regular/LeftRG.cpp b/alib2data/src/grammar/Regular/LeftRG.cpp
index a2a002b1452fdedef276437e64c9346c41421e15..38463ca09bcc9644586c0dca98cf12ed24456f00 100644
--- a/alib2data/src/grammar/Regular/LeftRG.cpp
+++ b/alib2data/src/grammar/Regular/LeftRG.cpp
@@ -178,7 +178,7 @@ int LeftRG::compare(const LeftRG& other) const {
}
void LeftRG::operator>>(std::ostream& out) const {
- out << "(LeftRG"
+ out << "(LeftRG "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/Regular/RightLG.cpp b/alib2data/src/grammar/Regular/RightLG.cpp
index 754225be19ffdd1b71b624e884ddf9d28fea8246..6956dcaff7d352c76380c9d41492b8f13d699e9c 100644
--- a/alib2data/src/grammar/Regular/RightLG.cpp
+++ b/alib2data/src/grammar/Regular/RightLG.cpp
@@ -174,7 +174,7 @@ int RightLG::compare(const RightLG& other) const {
}
void RightLG::operator>>(std::ostream& out) const {
- out << "(RightLG"
+ out << "(RightLG "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/Regular/RightRG.cpp b/alib2data/src/grammar/Regular/RightRG.cpp
index 6ed47c49544013ed52c358b1ddef0bf8c04bf4c8..726bac2665e04b22d143b7a623cc9015ddc83cf4 100644
--- a/alib2data/src/grammar/Regular/RightRG.cpp
+++ b/alib2data/src/grammar/Regular/RightRG.cpp
@@ -178,7 +178,7 @@ int RightRG::compare(const RightRG& other) const {
}
void RightRG::operator>>(std::ostream& out) const {
- out << "(RightRG"
+ out << "(RightRG "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/Unrestricted/ContextPreservingUnrestrictedGrammar.cpp b/alib2data/src/grammar/Unrestricted/ContextPreservingUnrestrictedGrammar.cpp
index cf08035ca666a8f3d5049d728d063ad18656af9e..1f24c3ccf1e17792d7e51a9b90e80366a440525b 100644
--- a/alib2data/src/grammar/Unrestricted/ContextPreservingUnrestrictedGrammar.cpp
+++ b/alib2data/src/grammar/Unrestricted/ContextPreservingUnrestrictedGrammar.cpp
@@ -114,7 +114,7 @@ int ContextPreservingUnrestrictedGrammar::compare(const ContextPreservingUnrestr
}
void ContextPreservingUnrestrictedGrammar::operator>>(std::ostream& out) const {
- out << "(ContextPreservingUnrestrictedGrammar"
+ out << "(ContextPreservingUnrestrictedGrammar "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol
diff --git a/alib2data/src/grammar/Unrestricted/UnrestrictedGrammar.cpp b/alib2data/src/grammar/Unrestricted/UnrestrictedGrammar.cpp
index 7056896eda4b70bce2e221731102275c840c78a0..6c243e742cb432db7f8a4a201ab8d210e906016b 100644
--- a/alib2data/src/grammar/Unrestricted/UnrestrictedGrammar.cpp
+++ b/alib2data/src/grammar/Unrestricted/UnrestrictedGrammar.cpp
@@ -95,7 +95,7 @@ int UnrestrictedGrammar::compare(const UnrestrictedGrammar& other) const {
}
void UnrestrictedGrammar::operator>>(std::ostream& out) const {
- out << "(UnrestrictedGrammar"
+ out << "(UnrestrictedGrammar "
<< "nonterminalAlphabet = " << nonterminalAlphabet
<< "terminalAlphabet = " << terminalAlphabet
<< "initialSymbol = " << initialSymbol