use default data types in compaction test

alib2algo/test-src/automaton/transform/AutomataCompactionTest.cpp

@@ -18,13 +18,13 @@ void AutomataCompactionTest::tearDown() {
 }
 void AutomataCompactionTest::testAutomataCompaction1() {
-	label::Label q0 = label::Label("0");
-	label::Label q1 = label::Label("1");
-	label::Label q2 = label::Label("2");
-	label::Label q3 = label::Label("3");
-	label::Label q4 = label::Label("4");
-	label::Label q5 = label::Label("5");
-	alphabet::Symbol a(alphabet::Symbol('a')), b(alphabet::Symbol('b'));
+	DefaultStateType q0 = DefaultStateType("0");
+	DefaultStateType q1 = DefaultStateType("1");
+	DefaultStateType q2 = DefaultStateType("2");
+	DefaultStateType q3 = DefaultStateType("3");
+	DefaultStateType q4 = DefaultStateType("4");
+	DefaultStateType q5 = DefaultStateType("5");
+	DefaultSymbolType a(DefaultSymbolType('a')), b(DefaultSymbolType('b'));
 	automaton::DFA<> m1(q0);
 	automaton::CompactNFA < > m2(q0);
@@ -40,7 +40,7 @@ void AutomataCompactionTest::testAutomataCompaction1() {
 	m2.setInputAlphabet({a, b});
 	m2.setStates({q0, q5});
-	m2.addTransition(q0, std::vector <alphabet::Symbol > {a, b, a, b, a}, q5);
+	m2.addTransition(q0, std::vector <DefaultSymbolType > {a, b, a, b, a}, q5);
 	m2.addFinalState(q5);
 	automaton::CompactNFA < > c1 = automaton::transform::Compaction::convert(m1);
@@ -50,13 +50,13 @@ void AutomataCompactionTest::testAutomataCompaction1() {
 }
 void AutomataCompactionTest::testAutomataCompaction2() {
-	label::Label q0 = label::Label("0");
-	label::Label q1 = label::Label("1");
-	label::Label q2 = label::Label("2");
-	label::Label q3 = label::Label("3");
-	label::Label q4 = label::Label("4");
-	label::Label q5 = label::Label("5");
-	alphabet::Symbol a(alphabet::Symbol('a')), b(alphabet::Symbol('b'));
+	DefaultStateType q0 = DefaultStateType("0");
+	DefaultStateType q1 = DefaultStateType("1");
+	DefaultStateType q2 = DefaultStateType("2");
+	DefaultStateType q3 = DefaultStateType("3");
+	DefaultStateType q4 = DefaultStateType("4");
+	DefaultStateType q5 = DefaultStateType("5");
+	DefaultSymbolType a(DefaultSymbolType('a')), b(DefaultSymbolType('b'));
 	automaton::DFA<> m1(q0);
 	automaton::CompactNFA < > m2(q0);
@@ -73,8 +73,8 @@ void AutomataCompactionTest::testAutomataCompaction2() {
 	m2.setInputAlphabet({a, b});
 	m2.setStates({q0, q5});
-	m2.addTransition(q0, std::vector < alphabet::Symbol > { a, b, a, b, a }, q5);
-	m2.addTransition(q5, std::vector < alphabet::Symbol > { a, b, a, b, a }, q5);
+	m2.addTransition(q0, std::vector < DefaultSymbolType > { a, b, a, b, a }, q5);
+	m2.addTransition(q5, std::vector < DefaultSymbolType > { a, b, a, b, a }, q5);
 	m2.addFinalState(q5);
 	automaton::CompactNFA < > c1 = automaton::transform::Compaction::convert(m1);
@@ -84,14 +84,14 @@ void AutomataCompactionTest::testAutomataCompaction2() {
 }
 void AutomataCompactionTest::testAutomataCompaction3() {
-	label::Label q0 = label::Label("0");
-	label::Label q1 = label::Label("1");
-	label::Label q2 = label::Label("2");
-	label::Label q3 = label::Label("3");
-	label::Label q4 = label::Label("4");
-	label::Label q5 = label::Label("5");
-	label::Label q6 = label::Label("6");
-	alphabet::Symbol a(alphabet::Symbol('a')), b(alphabet::Symbol('b'));
+	DefaultStateType q0 = DefaultStateType("0");
+	DefaultStateType q1 = DefaultStateType("1");
+	DefaultStateType q2 = DefaultStateType("2");
+	DefaultStateType q3 = DefaultStateType("3");
+	DefaultStateType q4 = DefaultStateType("4");
+	DefaultStateType q5 = DefaultStateType("5");
+	DefaultStateType q6 = DefaultStateType("6");
+	DefaultSymbolType a(DefaultSymbolType('a')), b(DefaultSymbolType('b'));
 	automaton::DFA<> m1(q0);
 	automaton::CompactNFA < > m2(q0);
@@ -111,11 +111,11 @@ void AutomataCompactionTest::testAutomataCompaction3() {
 	m2.setInputAlphabet({a, b});
 	m2.setStates({q0, q1, q3, q5});
-	m2.addTransition(q0, std::vector < alphabet::Symbol > {a}, q1);
-	m2.addTransition(q1, std::vector < alphabet::Symbol > {a, a}, q3);
-	m2.addTransition(q3, std::vector < alphabet::Symbol > {a, a, a}, q3);
-	m2.addTransition(q1, std::vector < alphabet::Symbol > {b}, q5);
-	m2.addTransition(q5, std::vector < alphabet::Symbol > {b, a, a}, q1);
+	m2.addTransition(q0, std::vector < DefaultSymbolType > {a}, q1);
+	m2.addTransition(q1, std::vector < DefaultSymbolType > {a, a}, q3);
+	m2.addTransition(q3, std::vector < DefaultSymbolType > {a, a, a}, q3);
+	m2.addTransition(q1, std::vector < DefaultSymbolType > {b}, q5);
+	m2.addTransition(q5, std::vector < DefaultSymbolType > {b, a, a}, q1);
 	m2.addFinalState(q3);
 	m2.addFinalState(q5);