Lingeling Member List

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

addClause(ClauseExchangePtr clause)	Lingeling	virtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)	Lingeling	virtual
addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars) override	Lingeling	virtual
bumpVariableActivity(const int var, const int times)	Lingeling	virtual
clausesToAdd	Lingeling	protected
clearClients()	SharingEntity	inline
clsBuffer	Lingeling	protected
clsBufferSize	Lingeling	protected
consumeCls(void *sp, int **clause, int *glue)	Lingeling	friend
consumeUnits(void *sp, int **start, int **end)	Lingeling	friend
diversify(const SeedGenerator &getSeed) override	Lingeling	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()	Lingeling	virtual
getFinalAnalysis()	Lingeling	virtual
getModel()	Lingeling	virtual
getSatAssumptions()	Lingeling	virtual
getSharingId() const	SharingEntity	inline
getSolverId()	SolverInterface	inline
getSolverType()	SolverCdclInterface	inline
getSolverTypeCount() const	SolverInterface	inline
getSolverTypeId()	SolverInterface	inline
getVariablesCount()	Lingeling	virtual
importClause(const ClauseExchangePtr &clause)	Lingeling	virtual
importClauses(const std::vector< ClauseExchangePtr > &clauses)	Lingeling	virtual
initializeTypeId()	SolverInterface	inlineprotected
isInitialized()	SolverInterface	inline
Lingeling(int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	Lingeling
Lingeling(const Lingeling &other, int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	Lingeling
loadFormula(const char *filename)	Lingeling	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()	Lingeling	virtual
printWinningLog() override	Lingeling	virtual
produce(void *sp, int *cls, int glue)	Lingeling	friend
produceUnit(void *sp, int lit)	Lingeling	friend
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)	Lingeling	virtual
setSharingId(int _id)	SharingEntity	inline
setSolverId(unsigned int id)	SolverInterface	inline
setSolverInterrupt()	Lingeling	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)	Lingeling	virtual
solver	Lingeling	protected
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)	SolverCdclInterface	inline
SolverInterface(SolverAlgorithmType algoType, int solverId)	SolverInterface
stopSolver	Lingeling	protected
termCallback(void *solverPtr)	Lingeling	friend
unitsBuffer	Lingeling	protected
unitsBufferSize	Lingeling	protected
unitsToImport	Lingeling	protected
unsetSolverInterrupt()	Lingeling	virtual
~Lingeling()	Lingeling
~SharingEntity()	SharingEntity	inlinevirtual
~SolverCdclInterface()	SolverCdclInterface	inlinevirtual
~SolverInterface()	SolverInterface	virtual