Cadical Member List

This is the complete list of members for Cadical, including all inherited members.

addClause(ClauseExchangePtr clause) override	Cadical	virtual
addClauses(const std::vector< ClauseExchangePtr > &clauses) override	Cadical	virtual
addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars) override	Cadical	virtual
bumpVariableActivity(const int var, const int times) override	Cadical	virtual
Cadical(int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	Cadical
cadicalOptions	Cadical
clausesToAdd	Cadical	protected
clearClients()	SharingEntity	inline
diversify(const SeedGenerator &getSeed) override	Cadical	virtual
exportClause(const ClauseExchangePtr &clause)	SharingEntity	inlineprotected
exportClauses(const std::vector< ClauseExchangePtr > &clauses)	SharingEntity	inlineprotected
exportClauseToClient(const ClauseExchangePtr &clause, std::shared_ptr< SharingEntity > client)	SharingEntity	inlineprotectedvirtual
getAlgoType()	SolverInterface	inline
getAndIncrementTypeCount()	SolverInterface	inlineprotectedstatic
getClauseToImport(std::vector< int > &clause, int &glue) override	Cadical
getClientCount() const	SharingEntity	inline
getDivisionVariable() override	Cadical	virtual
getFinalAnalysis() override	Cadical	virtual
getModel() override	Cadical	virtual
getSatAssumptions() override	Cadical	virtual
getSharingId() const	SharingEntity	inline
getSolverId()	SolverInterface	inline
getSolverType()	SolverCdclInterface	inline
getSolverTypeCount() const	SolverInterface	inline
getSolverTypeId()	SolverInterface	inline
getVariablesCount() override	Cadical	virtual
hasClauseToImport() override	Cadical
importClause(const ClauseExchangePtr &clause) override	Cadical	virtual
importClauses(const std::vector< ClauseExchangePtr > &clauses) override	Cadical	virtual
initCadicalOptions()	Cadical
initializeTypeId()	SolverInterface	inlineprotected
isInitialized()	SolverInterface	inline
learn(int lit) override	Cadical
learning(int size, int glue) override	Cadical
loadFormula(const char *filename) override	Cadical	virtual
m_algoType	SolverInterface	protected
m_cdclType	SolverCdclInterface
m_clausesToImport	SolverCdclInterface	protected
m_clients	SharingEntity	protected
m_clientsMutex	SharingEntity	mutableprotected
m_initialized	SolverInterface	protected
m_solverId	SolverInterface	protected
m_solverTypeId	SolverInterface	protected
printParameters()	SolverInterface	virtual
printStatistics() override	Cadical	virtual
printWinningLog() override	Cadical	virtual
removeClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
s_instanceCounts	SolverInterface	inlineprotectedstatic
setInitialized(bool value)	SolverInterface	inline
setPhase(const unsigned int var, const bool phase) override	Cadical	virtual
setSharingId(int _id)	SharingEntity	inline
setSolverId(unsigned int id)	SolverInterface	inline
setSolverInterrupt() override	Cadical	virtual
setSolverTypeId(unsigned int typeId)	SolverInterface	inline
SharingEntity()	SharingEntity	inline
SharingEntity(const std::vector< std::shared_ptr< SharingEntity > > &clients)	SharingEntity	inline
solve(const std::vector< int > &cube) override	Cadical	virtual
solver	Cadical	protected
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)	SolverCdclInterface	inline
SolverInterface(SolverAlgorithmType algoType, int solverId)	SolverInterface
stopSolver	Cadical	protected
unsetSolverInterrupt() override	Cadical	virtual
~Cadical()	Cadical	virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SolverCdclInterface()	SolverCdclInterface	inlinevirtual
~SolverInterface()	SolverInterface	virtual