Deepsolver
Public Member Functions
Deepsolver::TaskSolver Class Reference
Inheritance diagram for Deepsolver::TaskSolver:
Deepsolver::AbstractTaskSolver Deepsolver::AbstractTaskTranslatorOutput

List of all members.

Public Member Functions

void solve (const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove)
 TaskSolver (const TaskSolverData &data)
virtual ~TaskSolver ()
 The destructor.