SolverCdclInterface Member List

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

addClause(ClauseExchangePtr clause)=0	SolverInterface	pure virtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)=0	SolverInterface	pure virtual
addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars)=0	SolverInterface	pure virtual
bumpVariableActivity(const int var, const int times)=0	SolverCdclInterface	pure virtual
clearClients()	SharingEntity	inline
diversify(const SeedGenerator &getSeed=[](SolverInterface *s) { return s->getSolverId();})=0	SolverInterface	pure 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
getClientCount() const	SharingEntity	inline
getDivisionVariable()=0	SolverInterface	pure virtual
getFinalAnalysis()=0	SolverCdclInterface	pure virtual
getModel()=0	SolverInterface	pure virtual
getSatAssumptions()=0	SolverCdclInterface	pure virtual
getSharingId() const	SharingEntity	inline
getSolverId()	SolverInterface	inline
getSolverType()	SolverCdclInterface	inline
getSolverTypeCount() const	SolverInterface	inline
getSolverTypeId()	SolverInterface	inline
getVariablesCount()=0	SolverInterface	pure virtual
importClause(const ClauseExchangePtr &clause)=0	SharingEntity	pure virtual
importClauses(const std::vector< ClauseExchangePtr > &v_clauses)=0	SharingEntity	pure virtual
initializeTypeId()	SolverInterface	inlineprotected
isInitialized()	SolverInterface	inline
loadFormula(const char *filename)=0	SolverInterface	pure 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()	SolverInterface	virtual
printWinningLog()	SolverCdclInterface	inlinevirtual
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)=0	SolverCdclInterface	pure virtual
setSharingId(int _id)	SharingEntity	inline
setSolverId(unsigned int id)	SolverInterface	inline
setSolverInterrupt()=0	SolverInterface	pure 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)=0	SolverInterface	pure virtual
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)	SolverCdclInterface	inline
SolverInterface(SolverAlgorithmType algoType, int solverId)	SolverInterface
unsetSolverInterrupt()=0	SolverInterface	pure virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SolverCdclInterface()	SolverCdclInterface	inlinevirtual
~SolverInterface()	SolverInterface	virtual