Deepsolver
Public Member Functions | Public Attributes
Clause Struct Reference

List of all members.

Public Member Functions

 Clause (bool n1, VarId v1, bool n2, VarId v2)
 Clause (VarId v1, VarId v2)

Public Attributes

bool neg1
bool neg2
VarId var1
VarId var2