Deepsolver
Main Page
Classes
Class List
Class Index
Class Hierarchy
Class Members
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
Generated on Tue Oct 16 2012 10:01:12 for Deepsolver by
1.7.5.1