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

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

addClause(ClauseExchangePtr clause) overrideClauseDatabaseMallobvirtual
ClauseDatabase()ClauseDatabaseinline
ClauseDatabaseMallob()=delete (defined in ClauseDatabaseMallob)ClauseDatabaseMallob
ClauseDatabaseMallob(int maxClauseSize, int maxPartitioningLbd, size_t maxCapacity, int maxFreeSize)ClauseDatabaseMallobexplicit
clearDatabase() overrideClauseDatabaseMallobvirtual
getClauses(std::vector< ClauseExchangePtr > &v_cls) overrideClauseDatabaseMallobvirtual
getIndex(int size, int lbd) constClauseDatabaseMallobinlineprotected
getLbdPartitionFromIndex(unsigned index) constClauseDatabaseMallobinlineprotected
getOneClause(ClauseExchangePtr &cls) overrideClauseDatabaseMallobvirtual
getSize() const overrideClauseDatabaseMallobvirtual
getSizeFromIndex(unsigned index) constClauseDatabaseMallobinlineprotected
giveSelection(std::vector< ClauseExchangePtr > &selectedCls, unsigned int literalCountLimit) overrideClauseDatabaseMallobvirtual
m_clausesClauseDatabaseMallobprotected
m_currentLiteralSizeClauseDatabaseMallobprotected
m_currentWorstIndexClauseDatabaseMallobprotected
m_freeMaxSizeClauseDatabaseMallobprotected
m_maxClauseSizeClauseDatabaseMallobprotected
m_maxPartitioningLbdClauseDatabaseMallobprotected
m_missedAdditionsBfr (defined in ClauseDatabaseMallob)ClauseDatabaseMallobprotected
m_shrinkMutexClauseDatabaseMallobmutableprotected
m_totalLiteralCapacityClauseDatabaseMallobprotected
shrinkDatabase() overrideClauseDatabaseMallobvirtual
~ClauseDatabase()ClauseDatabaseinlinevirtual
~ClauseDatabaseMallob() overrideClauseDatabaseMallob
Generated by doxygen 1.12.0 Doxygen Theme by doxygen-awesome