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