Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
ClauseDatabase Member List

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

addClause(ClauseExchangePtr clause)=0ClauseDatabasepure virtual
ClauseDatabase()ClauseDatabaseinline
clearDatabase()=0ClauseDatabasepure virtual
getClauses(std::vector< ClauseExchangePtr > &v_cls)=0ClauseDatabasepure virtual
getOneClause(ClauseExchangePtr &cls)=0ClauseDatabasepure virtual
getSize() const =0ClauseDatabasepure virtual
giveSelection(std::vector< ClauseExchangePtr > &selectedCls, unsigned int literalCountLimit)=0ClauseDatabasepure virtual
shrinkDatabase()=0ClauseDatabasepure virtual
~ClauseDatabase()ClauseDatabaseinlinevirtual
Generated by doxygen 1.12.0 Doxygen Theme by doxygen-awesome