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 |
