Deepsolver
Public Member Functions
Deepsolver::TaskTranslator Class Reference

List of all members.

Public Member Functions

 TaskTranslator (AbstractTaskTranslatorOutput &output, const TaskSolverData &data)
void translate (const UserTask &task)
virtual ~TaskTranslator ()
 The destructor.