gsjj::passive::CNF::BinaryCNFMethod Member List

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

BinaryCNFMethod()=delete	gsjj::passive::CNF::BinaryCNFMethod
BinaryCNFMethod(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::BinaryCNFMethod	protected
constructDFA() override	gsjj::passive::CNF::BinaryCNFMethod	virtual
createFormula()	gsjj::passive::CNF::BinaryCNFMethod	protectedvirtual
createVariables()	gsjj::passive::CNF::BinaryCNFMethod	protectedvirtual
equal(const std::string &u, const std::string &v)	gsjj::passive::CNF::BinaryCNFMethod	protected
getFactoryName()	gsjj::passive::CNF::BinaryCNFMethod	static
hasSolution() const	gsjj::passive::Method	inline
m_alphabet	gsjj::passive::Method	protected
m_binarySize	gsjj::passive::CNF::BinaryCNFMethod	protected
m_cpuTimeEnd	gsjj::passive::Method	protected
m_cpuTimeStart	gsjj::passive::Method	protected
m_hasSolution	gsjj::passive::Method	protected
m_mapType typedef	gsjj::passive::CNF::BinaryCNFMethod	protected
m_numberStates	gsjj::passive::Method	protected
m_prefixes	gsjj::passive::Method	protected
m_S	gsjj::passive::Method	protected
m_simplify_opts	gsjj::passive::CNF::BinaryCNFMethod	protected
m_Sm	gsjj::passive::Method	protected
m_solver	gsjj::passive::CNF::BinaryCNFMethod	protected
m_Sp	gsjj::passive::Method	protected
m_stateToVar	gsjj::passive::CNF::BinaryCNFMethod	protected
m_triedSolve	gsjj::passive::Method	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
numberOfStates() const	gsjj::passive::Method
phi_different(const std::string &u, const std::string &v)	gsjj::passive::CNF::BinaryCNFMethod	protected
phi_not_q_i(const std::string &u, unsigned int i)	gsjj::passive::CNF::BinaryCNFMethod	protected
s_registered	gsjj::passive::RegisterInFactory< BinaryCNFMethod >	protectedstatic
setStopTrigger(const std::chrono::seconds &timeLimit, std::atomic_bool &stopTrigger, const bool *stopPointer) override	gsjj::passive::CNF::BinaryCNFMethod	virtual
solve() override	gsjj::passive::CNF::BinaryCNFMethod	virtual
timeToSolve() const	gsjj::passive::Method
toDFA() const	gsjj::passive::CNF::BinaryCNFMethod	protected
toState(const std::string &u) const	gsjj::passive::CNF::BinaryCNFMethod	protected
~BinaryCNFMethod()	gsjj::passive::CNF::BinaryCNFMethod	virtual
~Method()	gsjj::passive::Method	virtual