ClauseDatabaseBufferPerEntity Member List

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

addClause(ClauseExchangePtr clause) override	ClauseDatabaseBufferPerEntity	virtual
ClauseDatabase()	ClauseDatabase	inline
ClauseDatabaseBufferPerEntity()=delete	ClauseDatabaseBufferPerEntity
ClauseDatabaseBufferPerEntity(int maxClauseSize)	ClauseDatabaseBufferPerEntity	explicit
clearDatabase() override	ClauseDatabaseBufferPerEntity	virtual
getClauses(std::vector< ClauseExchangePtr > &v_cls) override	ClauseDatabaseBufferPerEntity	virtual
getOneClause(ClauseExchangePtr &cls) override	ClauseDatabaseBufferPerEntity	virtual
getSize() const override	ClauseDatabaseBufferPerEntity	virtual
giveSelection(std::vector< ClauseExchangePtr > &selectedCls, unsigned int literalCountLimit) override	ClauseDatabaseBufferPerEntity	virtual
shrinkDatabase() override	ClauseDatabaseBufferPerEntity	inlinevirtual
~ClauseDatabase()	ClauseDatabase	inlinevirtual
~ClauseDatabaseBufferPerEntity() override=default	ClauseDatabaseBufferPerEntity