Public Member Functions |
void | clear () |
void | clearAllMarks () |
void | clearBfsMarks () |
void | clearGerms () |
void | decRef (VarId varId) |
RefCountedEntry & | ensureEntryExists (VarId varId, bool installed) |
void | erase (VarId varId) |
RefCountedEntry & | getEntry (VarId varId) |
const RefCountedEntry & | getEntry (VarId varId) const |
bool | hasEntry (VarId varId) const |
void | incRef (VarId varId) |
void | init (size_t entryCount) |
RefCountedEntry & | newEntry (VarId varId, bool installed) |
bool | newStatesValid () const |
size_t | size () const |