Deepsolver::AbstractTaskSolver Member List

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

AbstractTaskSolver() (defined in Deepsolver::AbstractTaskSolver)	Deepsolver::AbstractTaskSolver	[inline]
dumpSat(const UserTask &userTask, std::ostream &s) const =0 (defined in Deepsolver::AbstractTaskSolver)	Deepsolver::AbstractTaskSolver	[pure virtual]
Ptr typedef (defined in Deepsolver::AbstractTaskSolver)	Deepsolver::AbstractTaskSolver
solve(const UserTask &userTask, VarIdVector &install, VarIdVector &remove) const =0 (defined in Deepsolver::AbstractTaskSolver)	Deepsolver::AbstractTaskSolver	[pure virtual]
~AbstractTaskSolver() (defined in Deepsolver::AbstractTaskSolver)	Deepsolver::AbstractTaskSolver	[inline, virtual]