Deepsolver
Public Member Functions | Public Attributes
Lit Struct Reference

List of all members.

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 neg
VarId varId