#include <RandomAutomatonFactory2.h>
|
template<class SymbolType > |
static automaton::DFA< SymbolType, unsigned > | generateDFA (size_t statesMinimal, size_t statesDuplicates, size_t statesUnreachable, size_t statesUseless, ext::set< SymbolType > alphabet, double density) |
|
static automaton::DFA< std::string, unsigned > | generateDFA (size_t statesMinimal, size_t statesDuplicates, size_t statesUnreachable, size_t statesUseless, size_t alphabetSize, bool randomizedAlphabet, double density) |
|
◆ generateDFA() [1/2]
template<class SymbolType >
automaton::DFA< SymbolType, unsigned > automaton::generate::RandomAutomatonFactory2::generateDFA |
( |
size_t |
statesMinimal, |
|
|
size_t |
statesDuplicates, |
|
|
size_t |
statesUnreachable, |
|
|
size_t |
statesUseless, |
|
|
ext::set< SymbolType > |
alphabet, |
|
|
double |
density |
|
) |
| |
|
static |
◆ generateDFA() [2/2]
automaton::DFA< std::string, unsigned > automaton::generate::RandomAutomatonFactory2::generateDFA |
( |
size_t |
statesMinimal, |
|
|
size_t |
statesDuplicates, |
|
|
size_t |
statesUnreachable, |
|
|
size_t |
statesUseless, |
|
|
size_t |
alphabetSize, |
|
|
bool |
randomizedAlphabet, |
|
|
double |
density |
|
) |
| |
|
static |
The documentation for this class was generated from the following files: