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