Loading alib2algo_experimental/src/automaton/MinimizeGenerator.cpp +0 −1 Original line number Diff line number Diff line Loading @@ -7,4 +7,3 @@ namespace { auto GenerateDFA = registration::AbstractRegister < automaton::generate::MinimizeGenerator, automaton::DFA < DefaultSymbolType, unsigned >, size_t, size_t, size_t, size_t, const ext::set < DefaultSymbolType > &, double, size_t > ( automaton::generate::MinimizeGenerator::generateMinimizeDFA, abstraction::AlgorithmCategories::AlgorithmCategory::DEFAULT, "statesMinimal", "statesDuplicates", "statesUnreachable", "statesUseless", "alphabet", "density", "steps" ); } /* namespace */ alib2algo_experimental/src/automaton/RandomAutomatonFactory2.cpp +0 −1 Original line number Diff line number Diff line Loading @@ -38,4 +38,3 @@ namespace { auto GenerateDFA = registration::AbstractRegister < automaton::generate::RandomAutomatonFactory2, automaton::DFA < DefaultSymbolType, unsigned >, size_t, size_t, size_t, size_t, const ext::set < DefaultSymbolType > &, double > ( automaton::generate::RandomAutomatonFactory2::generateDFA, abstraction::AlgorithmCategories::AlgorithmCategory::DEFAULT, "statesMinimal", "statesDuplicates", "statesUnreachable", "statesUseless", "alphabet", "density" ); } /* namespace */ alib2algo_experimental/src/automaton/RandomAutomatonFactory2.h +2 −7 Original line number Diff line number Diff line Loading @@ -10,9 +10,7 @@ #include <automaton/FSM/DFA.h> namespace automaton { namespace generate { namespace automaton::generate { class RandomAutomatonFactory2 { public: Loading Loading @@ -214,7 +212,4 @@ automaton::DFA < SymbolType, unsigned > RandomAutomatonFactory2::NonminimalDFA( return automaton; } } /* namespace generate */ } /* namespace automaton */ } /* namespace automaton::generate */ alib2algo_experimental/src/automaton/RandomAutomatonFactory3.h +2 −6 Original line number Diff line number Diff line Loading @@ -10,9 +10,7 @@ #include <automaton/FSM/MultiInitialStateNFA.h> namespace automaton { namespace generate { namespace automaton::generate { class RandomAutomatonFactory3 { public: Loading Loading @@ -223,6 +221,4 @@ automaton::MultiInitialStateNFA < SymbolType, unsigned > RandomAutomatonFactory3 return automaton; } } /* namespace generate */ } /* namespace automaton */ } /* namespace automaton::generate */ Loading
alib2algo_experimental/src/automaton/MinimizeGenerator.cpp +0 −1 Original line number Diff line number Diff line Loading @@ -7,4 +7,3 @@ namespace { auto GenerateDFA = registration::AbstractRegister < automaton::generate::MinimizeGenerator, automaton::DFA < DefaultSymbolType, unsigned >, size_t, size_t, size_t, size_t, const ext::set < DefaultSymbolType > &, double, size_t > ( automaton::generate::MinimizeGenerator::generateMinimizeDFA, abstraction::AlgorithmCategories::AlgorithmCategory::DEFAULT, "statesMinimal", "statesDuplicates", "statesUnreachable", "statesUseless", "alphabet", "density", "steps" ); } /* namespace */
alib2algo_experimental/src/automaton/RandomAutomatonFactory2.cpp +0 −1 Original line number Diff line number Diff line Loading @@ -38,4 +38,3 @@ namespace { auto GenerateDFA = registration::AbstractRegister < automaton::generate::RandomAutomatonFactory2, automaton::DFA < DefaultSymbolType, unsigned >, size_t, size_t, size_t, size_t, const ext::set < DefaultSymbolType > &, double > ( automaton::generate::RandomAutomatonFactory2::generateDFA, abstraction::AlgorithmCategories::AlgorithmCategory::DEFAULT, "statesMinimal", "statesDuplicates", "statesUnreachable", "statesUseless", "alphabet", "density" ); } /* namespace */
alib2algo_experimental/src/automaton/RandomAutomatonFactory2.h +2 −7 Original line number Diff line number Diff line Loading @@ -10,9 +10,7 @@ #include <automaton/FSM/DFA.h> namespace automaton { namespace generate { namespace automaton::generate { class RandomAutomatonFactory2 { public: Loading Loading @@ -214,7 +212,4 @@ automaton::DFA < SymbolType, unsigned > RandomAutomatonFactory2::NonminimalDFA( return automaton; } } /* namespace generate */ } /* namespace automaton */ } /* namespace automaton::generate */
alib2algo_experimental/src/automaton/RandomAutomatonFactory3.h +2 −6 Original line number Diff line number Diff line Loading @@ -10,9 +10,7 @@ #include <automaton/FSM/MultiInitialStateNFA.h> namespace automaton { namespace generate { namespace automaton::generate { class RandomAutomatonFactory3 { public: Loading Loading @@ -223,6 +221,4 @@ automaton::MultiInitialStateNFA < SymbolType, unsigned > RandomAutomatonFactory3 return automaton; } } /* namespace generate */ } /* namespace automaton */ } /* namespace automaton::generate */