diff options
Diffstat (limited to 'Planner_Manager/Interface/Planner_Manager_I.idl')
-rw-r--r-- | Planner_Manager/Interface/Planner_Manager_I.idl | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Planner_Manager/Interface/Planner_Manager_I.idl b/Planner_Manager/Interface/Planner_Manager_I.idl new file mode 100644 index 00000000000..3fa18789734 --- /dev/null +++ b/Planner_Manager/Interface/Planner_Manager_I.idl @@ -0,0 +1,21 @@ +//Planner_Manager_I.idl,v 1.1 2005/09/06 19:57:22 wotte Exp +#ifndef RACE_PLANNER_MANAGER_I_IDL +#define RACE_PLANNER_MANAGER_I_IDL + +#include "ciao/Packaging_Data.idl" + +#include "RACE/common/RACE_common.idl" + +module CIAO +{ + module RACE + { + interface Planner_Manager_I + { + void execute_planners (in Plan_Actions plan, + in PlannerFlow flow); + }; + }; +}; + +#endif /* RACE_PLANNER_MANAGER_I_IDL */ |