libgsjj  1
Deterministic finite automata learning library
gsjj::passive::Method Member List

This is the complete list of members for gsjj::passive::Method, including all inherited members.

constructDFA()=0gsjj::passive::Methodpure virtual
hasSolution() constgsjj::passive::Methodinline
m_alphabetgsjj::passive::Methodprotected
m_cpuTimeEndgsjj::passive::Methodprotected
m_cpuTimeStartgsjj::passive::Methodprotected
m_hasSolutiongsjj::passive::Methodprotected
m_numberStatesgsjj::passive::Methodprotected
m_prefixesgsjj::passive::Methodprotected
m_Sgsjj::passive::Methodprotected
m_Smgsjj::passive::Methodprotected
m_Spgsjj::passive::Methodprotected
m_triedSolvegsjj::passive::Methodprotected
Method()=deletegsjj::passive::Method
Method(const std::set< std::string > &SpSet, const std::set< std::string > &SmSet, const std::set< std::string > &SSet, const std::set< std::string > &prefixesSet, const std::set< char > &alphabetSet, unsigned int n)gsjj::passive::Methodprotected
numberOfStates() constgsjj::passive::Method
setStopTrigger(const std::chrono::seconds &timeLimit, std::atomic_bool &stopTrigger, const bool *stopPointer)=0gsjj::passive::Methodpure virtual
solve()=0gsjj::passive::Methodpure virtual
timeToSolve() constgsjj::passive::Method
~Method()gsjj::passive::Methodvirtual