ClauseDatabaseSingleBuffer Member List

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

addClause(ClauseExchangePtr clause) override	ClauseDatabaseSingleBuffer	inlinevirtual
ClauseDatabase()	ClauseDatabase	inline
ClauseDatabaseSingleBuffer()=delete	ClauseDatabaseSingleBuffer
ClauseDatabaseSingleBuffer(size_t bufferSize) (defined in ClauseDatabaseSingleBuffer)	ClauseDatabaseSingleBuffer	inline
clearDatabase() override	ClauseDatabaseSingleBuffer	inlinevirtual
getClauses(std::vector< ClauseExchangePtr > &v_cls) override	ClauseDatabaseSingleBuffer	inlinevirtual
getOneClause(ClauseExchangePtr &cls) override	ClauseDatabaseSingleBuffer	inlinevirtual
getSize() const override	ClauseDatabaseSingleBuffer	inlinevirtual
giveSelection(std::vector< ClauseExchangePtr > &selectedCls, unsigned int literalCountLimit) override	ClauseDatabaseSingleBuffer	inlinevirtual
shrinkDatabase() override	ClauseDatabaseSingleBuffer	inlinevirtual
~ClauseDatabase()	ClauseDatabase	inlinevirtual
~ClauseDatabaseSingleBuffer() override=default	ClauseDatabaseSingleBuffer