diff options
Diffstat (limited to 'PlanCommands.h')
| -rw-r--r-- | PlanCommands.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/PlanCommands.h b/PlanCommands.h index 5f7cf6a894f..a9df9c3d584 100644 --- a/PlanCommands.h +++ b/PlanCommands.h @@ -196,6 +196,8 @@ namespace SA_POP { virtual bool inst_exists (void) = 0; virtual TaskInstSet get_satisfied_tasks(void) = 0; + + virtual Condition get_condition(void) = 0; }; /** @@ -224,6 +226,8 @@ namespace SA_POP { * @return ID of instance of this command. */ virtual TaskInstID get_task_inst (void) = 0; + + virtual void set_satisfied_insts(TaskInstSet set)=0; }; /** |