Deepsolver
Main Page
Classes
Class List
Class Index
Class Hierarchy
Class Members
Deepsolver
AbstractSatSolver
Public Types
|
Public Member Functions
Deepsolver::AbstractSatSolver Class Reference
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 Aug 1 2013 09:53:04 for Deepsolver by
1.7.5.1