test unit build in automaton simplify

alib2algo/src/automaton/simplify/Simplify.cpp

+#include "EpsilonRemoverIncoming.cxx"
+#include "EpsilonRemoverOutgoing.cxx"
+#include "Minimize.cxx"
+#include "MinimizeBrzozowski.cxx"
+#include "MinimizeByPartitioning.cxx"
+#include "MinimizeVerbose.cxx"
+#include "Normalize.cxx"
+#include "Rename.cxx"
+#include "SingleInitialState.cxx"
+#include "SingleInitialStateEpsilonTransition.cxx"
+#include "Total.cxx"
+#include "Trim.cxx"
+#include "UnreachableStatesRemover.cxx"
+#include "UselessStatesRemover.cxx"

alib2algo/src/automaton/simplify/SingleInitialStateEpsilonTransition.cpp → alib2algo/src/automaton/simplify/SingleInitialStateEpsilonTransition.cxx

@@ -10,43 +10,43 @@
 namespace {
-auto SingleInitialStateMultiInitialStateNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::EpsilonNFA < >, const automaton::MultiInitialStateNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
+auto SingleInitialStateEpsilonTransitionMultiInitialStateNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::EpsilonNFA < >, const automaton::MultiInitialStateNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
 "Converts multi-initial state automaton to a single-initial state automaton with the use of epsilon transitions.\n\
 \n\
 @param automaton automaton to convert\n\
 @return an automaton equivalent to @p with only one initial state" );
-auto SingleInitialStateMultiInitialStateEpsilonNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::EpsilonNFA < >, const automaton::MultiInitialStateEpsilonNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
+auto SingleInitialStateEpsilonTransitionMultiInitialStateEpsilonNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::EpsilonNFA < >, const automaton::MultiInitialStateEpsilonNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
 "Converts multi-initial state epsilon automaton to a single-initial state automaton with the use of epsilon transitions.\n\
 \n\
 @param automaton automaton to convert\n\
 @return an automaton equivalent to @p with only one initial state" );
-auto SingleInitialStateDFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::DFA < >, const automaton::DFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
+auto SingleInitialStateEpsilonTransitionDFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::DFA < >, const automaton::DFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
 "No-op for deterministic finite automaton.\n\
 \n\
 @param automaton automaton to convert\n\
 @return an automaton equivalent to @p with only one initial state" );
-auto SingleInitialStateEpsilonNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::EpsilonNFA < >, const automaton::EpsilonNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
+auto SingleInitialStateEpsilonTransitionEpsilonNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::EpsilonNFA < >, const automaton::EpsilonNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
 "No-op for epsilon nondeterministic finite automaton.\n\
 \n\
 @param automaton automaton to convert\n\
 @return an automaton equivalent to @p with only one initial state" );
-auto SingleInitialStateNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::NFA < >, const automaton::NFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
+auto SingleInitialStateEpsilonTransitionNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::NFA < >, const automaton::NFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
 "No-op for nondeterministic finite automaton.\n\
 \n\
 @param automaton automaton to convert\n\
 @return an automaton equivalent to @p with only one initial state" );
-auto SingleInitialStateCompactNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::CompactNFA < >, const automaton::CompactNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
+auto SingleInitialStateEpsilonTransitionCompactNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::CompactNFA < >, const automaton::CompactNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
 "No-op for compact nondeterministic finite automaton.\n\
 \n\
 @param automaton automaton to convert\n\
 @return an automaton equivalent to @p with only one initial state" );
-auto SingleInitialStateExtendedNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::ExtendedNFA < >, const automaton::ExtendedNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
+auto SingleInitialStateEpsilonTransitionExtendedNFA = registration::AbstractRegister < automaton::simplify::SingleInitialStateEpsilonTransition, automaton::ExtendedNFA < >, const automaton::ExtendedNFA < > & > ( automaton::simplify::SingleInitialStateEpsilonTransition::convert, "automaton" ).setDocumentation (
 "No-op for extended nondeterministic finite automaton.\n\
 \n\
 @param automaton automaton to convert\n\