Deepsolver
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]