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

List of all members.

Public Member Functions

void solve (const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove)
 TaskSolver (const TaskSolverData &data)