Deepsolver
Public Types | Public Member Functions
Deepsolver::Sat::AbstractSatSolver Class Reference
Inheritance diagram for Deepsolver::Sat::AbstractSatSolver:
Deepsolver::Sat::MinisatSolver

List of all members.

Public Types

typedef std::shared_ptr
< AbstractSatSolver
Ptr
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