Deepsolver::Sat::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	ambiguous
bool	neg
VarId	varId