GlucoseSyrup Member List

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

addClause(ClauseExchangePtr clause)	GlucoseSyrup	virtual
addClauses(const std::vector< ClauseExchangePtr > &clauses)	GlucoseSyrup	virtual
addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVars) override	GlucoseSyrup	virtual
bumpVariableActivity(const int var, const int times)	GlucoseSyrup	virtual
clausesToAdd	GlucoseSyrup	protected
clearClients()	SharingEntity	inline
diversify(const SeedGenerator &getSeed) override	GlucoseSyrup	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()	GlucoseSyrup	virtual
getFinalAnalysis()	GlucoseSyrup	virtual
getHeuristicData(std::vector< int > **flipActivity, std::vector< int > **nbPropagations, std::vector< int > **nbDecisionVar) (defined in GlucoseSyrup)	GlucoseSyrup
getModel()	GlucoseSyrup	virtual
getSatAssumptions()	GlucoseSyrup	virtual
getSharingId() const	SharingEntity	inline
getSolverId()	SolverInterface	inline
getSolverType()	SolverCdclInterface	inline
getSolverTypeCount() const	SolverInterface	inline
getSolverTypeId()	SolverInterface	inline
getVariablesCount()	GlucoseSyrup	virtual
glucoseExportClause(void *, Glucose::Clause &)	GlucoseSyrup	friend
glucoseExportUnary(void *, Glucose::Lit &)	GlucoseSyrup	friend
glucoseImportClause(void *, int *, Glucose::vec< Glucose::Lit > &)	GlucoseSyrup	friend
glucoseImportUnary(void *)	GlucoseSyrup	friend
GlucoseSyrup(int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	GlucoseSyrup
GlucoseSyrup(const GlucoseSyrup &other, int id, const std::shared_ptr< ClauseDatabase > &clauseDB)	GlucoseSyrup
importClause(const ClauseExchangePtr &clause)	GlucoseSyrup	virtual
importClauses(const std::vector< ClauseExchangePtr > &clauses)	GlucoseSyrup	virtual
initializeTypeId()	SolverInterface	inlineprotected
isInitialized()	SolverInterface	inline
loadFormula(const char *filename)	GlucoseSyrup	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()	GlucoseSyrup	virtual
printWinningLog() override	GlucoseSyrup	virtual
removeClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
s_instanceCounts	SolverInterface	inlineprotectedstatic
setHeuristicData(std::vector< int > *flipActivity, std::vector< int > *nbPropagations, std::vector< int > *nbDecisionVar) (defined in GlucoseSyrup)	GlucoseSyrup
setInitialized(bool value)	SolverInterface	inline
setPhase(const unsigned int var, const bool phase)	GlucoseSyrup	virtual
setSharingId(int _id)	SharingEntity	inline
setSolverId(unsigned int id)	SolverInterface	inline
setSolverInterrupt()	GlucoseSyrup	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)	GlucoseSyrup	virtual
solver	GlucoseSyrup	protected
SolverCdclInterface(int solverId, const std::shared_ptr< ClauseDatabase > &clauseDB, SolverCdclType solverCdclType)	SolverCdclInterface	inline
SolverInterface(SolverAlgorithmType algoType, int solverId)	SolverInterface
unitsToImport	GlucoseSyrup	protected
unsetSolverInterrupt()	GlucoseSyrup	virtual
~GlucoseSyrup()	GlucoseSyrup	virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SolverCdclInterface()	SolverCdclInterface	inlinevirtual
~SolverInterface()	SolverInterface	virtual