Public Member Functions |
void | clearAllMarks () |
void | onConflict (VarId v) |
void | onDependent (VarId dependent, const VarIdVector &alternatives) |
void | onRequire (const VarIdVector &alternatives) |
| RefCountedEntry (VarId v, bool s) |
void | uninstallable () |
void | unremovable () |
Public Attributes |
bool | ambiguous |
bool | bfsMark |
bool | germ |
bool | newState |
bool | oldState |
VarIdVector | reconstruct |
size_t | refNum |
VarId | replacementFor |
Sat | sat |
VarId | varId |