Inheritance diagram for Deepsolver::Sat::AbstractSatSolver:
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 |
