Deepsolver
|
Public Member Functions | |
Lit (VarId v) | |
Lit (VarId v, bool n) | |
bool | operator!= (const Lit &lit) const |
bool | operator< (const Lit &lit) const |
bool | operator== (const Lit &lit) const |
bool | operator> (const Lit &lit) const |
Public Attributes | |
bool | ambiguous |
bool | neg |
VarId | varId |