Deepsolver
|
TaskTranslator(AbstractTaskTranslatorOutput &output, const TaskSolverData &data) (defined in TaskTranslator) | TaskTranslator | [inline] |
translate(const UserTask &task) (defined in TaskTranslator) | TaskTranslator | |
~TaskTranslator() (defined in TaskTranslator) | TaskTranslator | [inline, virtual] |