Deepsolver::Solver::Solver Member List

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

AbstractTaskSolver() (defined in Deepsolver::AbstractTaskSolver)	Deepsolver::AbstractTaskSolver	[inline]
dumpSat(const UserTask &userTask, std::ostream &s) const (defined in Deepsolver::Solver::Solver)	Deepsolver::Solver::Solver	[virtual]
Ptr typedef (defined in Deepsolver::AbstractTaskSolver)	Deepsolver::AbstractTaskSolver
solve(const UserTask &userTask, VarIdVector &install, VarIdVector &remove) const override (defined in Deepsolver::Solver::Solver)	Deepsolver::Solver::Solver	[virtual]
Solver(const TaskSolverData &taskSolverData) (defined in Deepsolver::Solver::Solver)	Deepsolver::Solver::Solver	[inline]
~AbstractTaskSolver() (defined in Deepsolver::AbstractTaskSolver)	Deepsolver::AbstractTaskSolver	[inline, virtual]
~Solver() (defined in Deepsolver::Solver::Solver)	Deepsolver::Solver::Solver	[inline, virtual]