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

List of all members.

Public Member Functions

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