ClauseDatabasePerSize Member List

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

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