diff --git a/alib2algo/src/automaton/generate/Generate.cpp b/alib2algo/src/automaton/generate/Generate.cpp new file mode 100644 index 0000000000000000000000000000000000000000..9e63ebefe2ab6f79efcb75e260dc311f88bbfd3c --- /dev/null +++ b/alib2algo/src/automaton/generate/Generate.cpp @@ -0,0 +1,5 @@ +#include "NumberModuloAutomaton.cxx" +#include "NumberOfSymbolsAutomaton.cxx" +#include "RandomAutomatonFactory.cxx" +#include "RandomTreeAutomatonFactory.cxx" +#include "RandomizeAutomaton.cxx" diff --git a/alib2algo/src/automaton/generate/NumberModuloAutomaton.cpp b/alib2algo/src/automaton/generate/NumberModuloAutomaton.cxx similarity index 100% rename from alib2algo/src/automaton/generate/NumberModuloAutomaton.cpp rename to alib2algo/src/automaton/generate/NumberModuloAutomaton.cxx diff --git a/alib2algo/src/automaton/generate/NumberOfSymbolsAutomaton.cpp b/alib2algo/src/automaton/generate/NumberOfSymbolsAutomaton.cxx similarity index 72% rename from alib2algo/src/automaton/generate/NumberOfSymbolsAutomaton.cpp rename to alib2algo/src/automaton/generate/NumberOfSymbolsAutomaton.cxx index a2d28f0b54d301baa1e1238a1db98ef2ca00b241..5fc1dd73d9051896e3c60bc9fcb445715d87447f 100644 --- a/alib2algo/src/automaton/generate/NumberOfSymbolsAutomaton.cpp +++ b/alib2algo/src/automaton/generate/NumberOfSymbolsAutomaton.cxx @@ -43,7 +43,7 @@ automaton::NFA < std::string, unsigned > NumberOfSymbolsAutomaton::generateNFA ( namespace { -auto GenerateNFA1 = registration::AbstractRegister < automaton::generate::NumberOfSymbolsAutomaton, automaton::NFA < DefaultSymbolType, unsigned >, size_t, const ext::set < DefaultSymbolType > &, DefaultSymbolType, size_t > ( automaton::generate::NumberOfSymbolsAutomaton::generateNFA, abstraction::AlgorithmCategories::AlgorithmCategory::DEFAULT, "modulo", "alphabet", "symbol", "final_modulo" ).setDocumentation ( +auto NumberOfSymbolsAutomatonNFA1 = registration::AbstractRegister < automaton::generate::NumberOfSymbolsAutomaton, automaton::NFA < DefaultSymbolType, unsigned >, size_t, const ext::set < DefaultSymbolType > &, DefaultSymbolType, size_t > ( automaton::generate::NumberOfSymbolsAutomaton::generateNFA, abstraction::AlgorithmCategories::AlgorithmCategory::DEFAULT, "modulo", "alphabet", "symbol", "final_modulo" ).setDocumentation ( "Generates automaton accepting strings over alphabet where the number of symbol given by @p symbol is modulo @p modulo equal to @p final_modulo.\n\ \n\ @param modulo number of symbols to modulo by\n\ @@ -52,7 +52,7 @@ auto GenerateNFA1 = registration::AbstractRegister < automaton::generate::Number @param final_modulo number of symbols to recognise mod modulo\n\ @return random nondeterministic finite automaton" ); -auto GenerateNFA2 = registration::AbstractRegister < automaton::generate::NumberOfSymbolsAutomaton, automaton::NFA < std::string, unsigned >, size_t, size_t, bool, char, size_t > ( automaton::generate::NumberOfSymbolsAutomaton::generateNFA, abstraction::AlgorithmCategories::AlgorithmCategory::DEFAULT, "statesCount", "alphabetSize", "randomizedAlphabet", "symbol", "final_modulo" ).setDocumentation ( +auto NumberOfSymbolsAutomatonNFA2 = registration::AbstractRegister < automaton::generate::NumberOfSymbolsAutomaton, automaton::NFA < std::string, unsigned >, size_t, size_t, bool, char, size_t > ( automaton::generate::NumberOfSymbolsAutomaton::generateNFA, abstraction::AlgorithmCategories::AlgorithmCategory::DEFAULT, "statesCount", "alphabetSize", "randomizedAlphabet", "symbol", "final_modulo" ).setDocumentation ( "Generates automaton accepting strings over alphabet where the number of symbol given by @p symbol is modulo @p modulo equal to @p final_modulo.\n\ \n\ @param modulo number of symbols to modulo by\n\ diff --git a/alib2algo/src/automaton/generate/RandomAutomatonFactory.cpp b/alib2algo/src/automaton/generate/RandomAutomatonFactory.cxx similarity index 100% rename from alib2algo/src/automaton/generate/RandomAutomatonFactory.cpp rename to alib2algo/src/automaton/generate/RandomAutomatonFactory.cxx diff --git a/alib2algo/src/automaton/generate/RandomTreeAutomatonFactory.cpp b/alib2algo/src/automaton/generate/RandomTreeAutomatonFactory.cxx similarity index 100% rename from alib2algo/src/automaton/generate/RandomTreeAutomatonFactory.cpp rename to alib2algo/src/automaton/generate/RandomTreeAutomatonFactory.cxx diff --git a/alib2algo/src/automaton/generate/RandomizeAutomaton.cpp b/alib2algo/src/automaton/generate/RandomizeAutomaton.cxx similarity index 100% rename from alib2algo/src/automaton/generate/RandomizeAutomaton.cpp rename to alib2algo/src/automaton/generate/RandomizeAutomaton.cxx