| addClause(const Minisat::vec< Minisat::Lit > &clause) | gsjj::passive::CNF::SATCNFMethod | protected |
| constructDFA() override | gsjj::passive::CNF::SATCNFMethod | virtual |
| createClauses() override | gsjj::passive::CNF::HeuleVerwerCNFMethod | protectedvirtual |
| createVariables() override | gsjj::passive::CNF::HeuleVerwerCNFMethod | protectedvirtual |
| getFactoryName() | gsjj::passive::CNF::HeuleVerwerCNFMethod | static |
| hasSolution() const | gsjj::passive::Method | inline |
| HeuleVerwerCNFMethod()=delete | gsjj::passive::CNF::HeuleVerwerCNFMethod | |
| HeuleVerwerCNFMethod(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::CNF::HeuleVerwerCNFMethod | protected |
| m_alphabet | gsjj::passive::Method | protected |
| m_cpuTimeEnd | gsjj::passive::Method | protected |
| m_cpuTimeStart | gsjj::passive::Method | protected |
| m_dVars | gsjj::passive::CNF::HeuleVerwerCNFMethod | protected |
| m_fVars | gsjj::passive::CNF::HeuleVerwerCNFMethod | protected |
| m_hasSolution | gsjj::passive::Method | protected |
| m_numberStates | gsjj::passive::Method | protected |
| m_prefixes | gsjj::passive::Method | protected |
| m_S | gsjj::passive::Method | protected |
| m_Sm | gsjj::passive::Method | protected |
| m_Sp | gsjj::passive::Method | protected |
| m_triedSolve | gsjj::passive::Method | protected |
| m_xVars | gsjj::passive::CNF::HeuleVerwerCNFMethod | protected |
| Method()=delete | gsjj::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::Method | protected |
| newVariable() | gsjj::passive::CNF::SATCNFMethod | protected |
| numberOfStates() const | gsjj::passive::Method | |
| s_registered | gsjj::passive::RegisterInFactory< HeuleVerwerCNFMethod > | protectedstatic |
| SATCNFMethod()=delete | gsjj::passive::CNF::SATCNFMethod | |
| SATCNFMethod(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::CNF::SATCNFMethod | protected |
| setStopTrigger(const std::chrono::seconds &timeLimit, std::atomic_bool &stopTrigger, const bool *stopPointer) override | gsjj::passive::CNF::SATCNFMethod | virtual |
| solve() override | gsjj::passive::CNF::SATCNFMethod | virtual |
| timeToSolve() const | gsjj::passive::Method | |
| toDFA(const Minisat::vec< Minisat::lbool > &model) const override | gsjj::passive::CNF::HeuleVerwerCNFMethod | protectedvirtual |
| ~HeuleVerwerCNFMethod() | gsjj::passive::CNF::HeuleVerwerCNFMethod | |
| ~Method() | gsjj::passive::Method | virtual |
| ~SATCNFMethod() | gsjj::passive::CNF::SATCNFMethod | virtual |
