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 |
