Deepsolver
Public Member Functions
Deepsolver::Solver::RefCountedEntries Class Reference

List of all members.

Public Member Functions

void clear ()
void clearAllMarks ()
void clearBfsMarks ()
void clearGerms ()
void decRef (VarId varId)
RefCountedEntryensureEntryExists (VarId varId, bool installed)
void erase (VarId varId)
RefCountedEntrygetEntry (VarId varId)
const RefCountedEntrygetEntry (VarId varId) const
bool hasEntry (VarId varId) const
void incRef (VarId varId)
void init (size_t entryCount)
RefCountedEntrynewEntry (VarId varId, bool installed)
bool newStatesValid () const
size_t size () const