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, VarIdVector &conflicts)=0 |