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