Skip to content
Snippets Groups Projects
Commit 8780dd29 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

test unit build in automaton generate

parent 635a6135
No related branches found
No related tags found
No related merge requests found
#include "NumberModuloAutomaton.cxx"
#include "NumberOfSymbolsAutomaton.cxx"
#include "RandomAutomatonFactory.cxx"
#include "RandomTreeAutomatonFactory.cxx"
#include "RandomizeAutomaton.cxx"
...@@ -43,7 +43,7 @@ automaton::NFA < std::string, unsigned > NumberOfSymbolsAutomaton::generateNFA ( ...@@ -43,7 +43,7 @@ automaton::NFA < std::string, unsigned > NumberOfSymbolsAutomaton::generateNFA (
   
namespace { 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\ "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\ \n\
@param modulo number of symbols to modulo by\n\ @param modulo number of symbols to modulo by\n\
...@@ -52,7 +52,7 @@ auto GenerateNFA1 = registration::AbstractRegister < automaton::generate::Number ...@@ -52,7 +52,7 @@ auto GenerateNFA1 = registration::AbstractRegister < automaton::generate::Number
@param final_modulo number of symbols to recognise mod modulo\n\ @param final_modulo number of symbols to recognise mod modulo\n\
@return random nondeterministic finite automaton" ); @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\ "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\ \n\
@param modulo number of symbols to modulo by\n\ @param modulo number of symbols to modulo by\n\
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment