Deepsolver::Sat::AbstractSatSolver Member List

This is the complete list of members for Deepsolver::Sat::AbstractSatSolver, including all inherited members.

AbstractSatSolver() (defined in Deepsolver::Sat::AbstractSatSolver)	Deepsolver::Sat::AbstractSatSolver	[inline]
addClause(const Clause &clause)=0 (defined in Deepsolver::Sat::AbstractSatSolver)	Deepsolver::Sat::AbstractSatSolver	[pure virtual]
Ptr typedef (defined in Deepsolver::Sat::AbstractSatSolver)	Deepsolver::Sat::AbstractSatSolver
reset()=0 (defined in Deepsolver::Sat::AbstractSatSolver)	Deepsolver::Sat::AbstractSatSolver	[pure virtual]
solve(VarIdToBoolMap &res, VarIdVector &conflicts)=0 (defined in Deepsolver::Sat::AbstractSatSolver)	Deepsolver::Sat::AbstractSatSolver	[pure virtual]
VarIdToBoolMap typedef (defined in Deepsolver::Sat::AbstractSatSolver)	Deepsolver::Sat::AbstractSatSolver
~AbstractSatSolver() (defined in Deepsolver::Sat::AbstractSatSolver)	Deepsolver::Sat::AbstractSatSolver	[inline, virtual]