Deepsolver
Public Member Functions | Public Attributes
Deepsolver::Solver::RefCountedEntry Class Reference

List of all members.

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