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
(const VarIdToBoolMap &assumptions, VarIdToBoolMap &res)=0
Generated on Wed Dec 26 2012 04:17:23 for Deepsolver by
1.7.5.1