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

List of all members.

Public Member Functions

virtual void solve (const UserTask &task, VarIdVector &toInstall, VarIdVector &toRemove)=0