MapleCOMSPSSolver Member List

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

addClause(ClauseExchangePtr clause)	MapleCOMSPSSolver	virtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)	MapleCOMSPSSolver	virtual
addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars) override	MapleCOMSPSSolver	virtual
bumpVariableActivity(const int var, const int times)	MapleCOMSPSSolver	virtual
cbkMapleCOMSPSExportClause (defined in MapleCOMSPSSolver)	MapleCOMSPSSolver	friend
cbkMapleCOMSPSImportClause (defined in MapleCOMSPSSolver)	MapleCOMSPSSolver	friend
cbkMapleCOMSPSImportUnit(void *)	MapleCOMSPSSolver	friend
clausesToAdd	MapleCOMSPSSolver	protected
clearClients()	SharingEntity	inline
diversify(const SeedGenerator &getSeed)	MapleCOMSPSSolver	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()	MapleCOMSPSSolver	virtual
getFinalAnalysis()	MapleCOMSPSSolver	virtual
getModel()	MapleCOMSPSSolver	virtual
getSatAssumptions()	MapleCOMSPSSolver	virtual
getSharingId() const	SharingEntity	inline
getSolverId()	SolverInterface	inline
getSolverType()	SolverCdclInterface	inline
getSolverTypeCount() const	SolverInterface	inline
getSolverTypeId()	SolverInterface	inline
getVariablesCount()	MapleCOMSPSSolver	virtual
importClause(const ClauseExchangePtr &clause)	MapleCOMSPSSolver	virtual
importClauses(const std::vector< ClauseExchangePtr > &clauses)	MapleCOMSPSSolver	virtual
initializeTypeId()	SolverInterface	inlineprotected
initshuffle(int id) (defined in MapleCOMSPSSolver)	MapleCOMSPSSolver	inline
isInitialized()	SolverInterface	inline
loadFormula(const char *filename) override	MapleCOMSPSSolver	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
MapleCOMSPSSolver(int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	MapleCOMSPSSolver
MapleCOMSPSSolver(const MapleCOMSPSSolver &other, int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	MapleCOMSPSSolver
printParameters()	SolverInterface	virtual
printStatistics()	MapleCOMSPSSolver	virtual
printWinningLog() override	MapleCOMSPSSolver	virtual
removeClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
s_instanceCounts	SolverInterface	inlineprotectedstatic
setInitialized(bool value)	SolverInterface	inline
setParameter(parameter p) (defined in MapleCOMSPSSolver)	MapleCOMSPSSolver	inline
setPhase(const unsigned int var, const bool phase)	MapleCOMSPSSolver	virtual
setSharingId(int _id)	SharingEntity	inline
setSolverId(unsigned int id)	SolverInterface	inline
setSolverInterrupt()	MapleCOMSPSSolver	virtual
setSolverTypeId(unsigned int typeId)	SolverInterface	inline
setStrengthening(bool b) (defined in MapleCOMSPSSolver)	MapleCOMSPSSolver
SharingEntity()	SharingEntity	inline
SharingEntity(const std::vector< std::shared_ptr< SharingEntity > > &clients)	SharingEntity	inline
solve(const std::vector< int > &cube)	MapleCOMSPSSolver	virtual
solver	MapleCOMSPSSolver	protected
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)	SolverCdclInterface	inline
SolverInterface(SolverAlgorithmType algoType, int solverId)	SolverInterface
stopSolver	MapleCOMSPSSolver	protected
unitsToImport	MapleCOMSPSSolver	protected
unsetSolverInterrupt()	MapleCOMSPSSolver	virtual
~MapleCOMSPSSolver()	MapleCOMSPSSolver	virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SolverCdclInterface()	SolverCdclInterface	inlinevirtual
~SolverInterface()	SolverInterface	virtual