Kissat Member List

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

addClause(ClauseExchangePtr clause) override	Kissat	virtual
addClauses(const std::vector< ClauseExchangePtr > &clauses) override	Kissat	virtual
addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars) override	Kissat	virtual
bumpVariableActivity(const int var, const int times) override	Kissat	virtual
clausesToAdd	Kissat	protected
clearClients()	SharingEntity	inline
computeFamily()	Kissat	protected
diversify(const SeedGenerator &getSeed) override	Kissat	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
family (defined in Kissat)	Kissat	protected
getAlgoType()	SolverInterface	inline
getAndIncrementTypeCount()	SolverInterface	inlineprotectedstatic
getClientCount() const	SharingEntity	inline
getDivisionVariable() override	Kissat	virtual
getFinalAnalysis() override	Kissat	virtual
getModel() override	Kissat	virtual
getSatAssumptions() override	Kissat	virtual
getSharingId() const	SharingEntity	inline
getSolverId()	SolverInterface	inline
getSolverType()	SolverCdclInterface	inline
getSolverTypeCount() const	SolverInterface	inline
getSolverTypeId()	SolverInterface	inline
getVariablesCount() override	Kissat	virtual
importClause(const ClauseExchangePtr &clause) override	Kissat	virtual
importClauses(const std::vector< ClauseExchangePtr > &clauses) override	Kissat	virtual
initializeTypeId()	SolverInterface	inlineprotected
initKissatOptions()	Kissat
isInitialized()	SolverInterface	inline
Kissat(int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	Kissat
kissatExportClause (defined in Kissat)	Kissat	friend
kissatImportClause(void *, kissat *)	Kissat	friend
kissatOptions	Kissat
kissatTerminate(void *solverPtr)	Kissat	friend
loadFormula(const char *filename) override	Kissat	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
originalVars (defined in Kissat)	Kissat	protected
printParameters()	SolverInterface	virtual
printStatistics() override	Kissat	virtual
printWinningLog() override	Kissat	virtual
removeClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
s_instanceCounts	SolverInterface	inlineprotectedstatic
setFamily(KissatFamily family)	Kissat	inline
setInitialized(bool value)	SolverInterface	inline
setPhase(const unsigned int var, const bool phase) override	Kissat	virtual
setSharingId(int _id)	SharingEntity	inline
setSolverId(unsigned int id)	SolverInterface	inline
setSolverInterrupt() override	Kissat	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	Kissat	virtual
solver	Kissat	protected
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)	SolverCdclInterface	inline
SolverInterface(SolverAlgorithmType algoType, int solverId)	SolverInterface
stopSolver	Kissat	protected
unsetSolverInterrupt() override	Kissat	virtual
~Kissat()	Kissat	virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SolverCdclInterface()	SolverCdclInterface	inlinevirtual
~SolverInterface()	SolverInterface	virtual