MiniSat Member List

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

addClause(ClauseExchangePtr clause)	MiniSat	virtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)	MiniSat	virtual
addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars) override	MiniSat	virtual
bumpVariableActivity(const int var, const int times)	MiniSat	virtual
clausesToAdd	MiniSat	protected
clearClients()	SharingEntity	inline
diversify(const SeedGenerator &getSeed) override	MiniSat	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()	MiniSat	virtual
getFinalAnalysis()	MiniSat	virtual
getModel()	MiniSat	virtual
getSatAssumptions()	MiniSat	virtual
getSharingId() const	SharingEntity	inline
getSolverId()	SolverInterface	inline
getSolverType()	SolverCdclInterface	inline
getSolverTypeCount() const	SolverInterface	inline
getSolverTypeId()	SolverInterface	inline
getVariablesCount()	MiniSat	virtual
importClause(const ClauseExchangePtr &clause)	MiniSat	virtual
importClauses(const std::vector< ClauseExchangePtr > &clauses)	MiniSat	virtual
initializeTypeId()	SolverInterface	inlineprotected
isInitialized()	SolverInterface	inline
loadFormula(const char *filename)	MiniSat	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
MiniSat(int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	MiniSat
minisatExportClause(void *, Minisat::vec< Minisat::Lit, int > &)	MiniSat	friend
minisatImportClause (defined in MiniSat)	MiniSat	friend
minisatImportUnit (defined in MiniSat)	MiniSat	friend
printParameters()	SolverInterface	virtual
printStatistics()	MiniSat	virtual
printWinningLog() override	MiniSat	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)	MiniSat	virtual
setSharingId(int _id)	SharingEntity	inline
setSolverId(unsigned int id)	SolverInterface	inline
setSolverInterrupt()	MiniSat	virtual
setSolverTypeId(unsigned int typeId)	SolverInterface	inline
SharingEntity()	SharingEntity	inline
SharingEntity(const std::vector< std::shared_ptr< SharingEntity > > &clients)	SharingEntity	inline
sizeLimit	MiniSat	protected
solve(const std::vector< int > &cube)	MiniSat	virtual
solver	MiniSat	protected
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)	SolverCdclInterface	inline
SolverInterface(SolverAlgorithmType algoType, int solverId)	SolverInterface
unitsToImport	MiniSat	protected
unsetSolverInterrupt()	MiniSat	virtual
~MiniSat()	MiniSat	virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SolverCdclInterface()	SolverCdclInterface	inlinevirtual
~SolverInterface()	SolverInterface	virtual