Deepsolver
AbstractSatSolver Member List
This is the complete list of members for AbstractSatSolver, including all inherited members.
AbstractSatSolver() (defined in AbstractSatSolver)AbstractSatSolver [inline]
addClause(const Clause &clause)=0 (defined in AbstractSatSolver)AbstractSatSolver [pure virtual]
reset()=0 (defined in AbstractSatSolver)AbstractSatSolver [pure virtual]
solve(const VarIdToBoolMap &assumptions, VarIdToBoolMap &res)=0 (defined in AbstractSatSolver)AbstractSatSolver [pure virtual]
VarIdToBoolMap typedef (defined in AbstractSatSolver)AbstractSatSolver
~AbstractSatSolver() (defined in AbstractSatSolver)AbstractSatSolver [inline, virtual]