|
| std::atomic_bool | falseStopTrigger (false) |
| |
| std::chrono::seconds | noLimit (0) |
| |
| std::unique_ptr< Method > | gsjj::passive::constructMethodTrigger (const std::string &name, unsigned int n, const std::set< std::string > &Sp, const std::set< std::string > &Sm, const std::set< std::string > &S, const std::set< std::string > &prefixes, const std::set< char > &alphabet, const std::chrono::seconds &timeLimit, std::atomic_bool &stopTrigger, const bool *stopPointer) |
| |
| std::unique_ptr< Method > | gsjj::passive::constructMethod (const std::string &name, unsigned int n, const std::set< std::string > &Sp, const std::set< std::string > &Sm) |
| | Computes the alphabet and the prefixes set from Sp and Sm and constructs a method for a fixed number of states. More...
|
| |
| std::unique_ptr< Method > | gsjj::passive::constructMethod (const std::string &name, unsigned int n, const std::set< std::string > &Sp, const std::set< std::string > &Sm, const std::set< std::string > &S, const std::set< std::string > &prefixes, const std::set< char > &alphabet) |
| | Constructs a method for a fixed number of states. More...
|
| |
| std::pair< std::unique_ptr< Method >, bool > | gsjj::passive::constructMethod (const std::string &name, const std::set< std::string > &Sp, const std::set< std::string > &Sm, const std::chrono::seconds &timeLimit=std::chrono::seconds(0), long double *timeTaken=nullptr) |
| | Computes the alphabet and the prefixes set from Sp and Sm and constructs a method with the smallest possible number of states. More...
|
| |
| std::pair< std::unique_ptr< Method >, bool > | gsjj::passive::constructMethod (const std::string &name, const std::set< std::string > &Sp, const std::set< std::string > &Sm, const std::set< std::string > &S, const std::set< std::string > &prefixes, const std::set< char > &alphabet, const std::chrono::seconds &timeLimit=std::chrono::seconds(0), long double *timeTaken=nullptr) |
| | Constructs a method with the smallest possible number of states. More...
|
| |
