Deepsolver
Main Page
Classes
Class List
Class Index
Class Hierarchy
Class Members
Public Types
|
Public Member Functions
AbstractSatSolver Class Reference
Inheritance diagram for AbstractSatSolver:
List of all members.
Public Types
typedef std::map< VarId, bool >
VarIdToBoolMap
Public Member Functions
virtual void
addClause
(const Clause &clause)=0
virtual void
reset
()=0
virtual bool
solve
(VarIdToBoolMap &res, VarIdVector &conflicts)=0
Generated on Thu May 23 2013 17:35:17 for Deepsolver by
1.7.5.1