diff options
Diffstat (limited to 'SA_POP_Types.h')
-rw-r--r-- | SA_POP_Types.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/SA_POP_Types.h b/SA_POP_Types.h index 57261df0415..3bb2ab35f77 100644 --- a/SA_POP_Types.h +++ b/SA_POP_Types.h @@ -168,6 +168,8 @@ namespace SA_POP { TaskID task_id; }; + + ///List of TaskChoices typedef std::list<TaskChoice> TaskChoiceList; @@ -491,7 +493,13 @@ namespace SA_POP { }; + /// Type of particular Task Implementation mapped to a Task Implementation Set. + /// This is a particular Precedence set. Like Before, After etc. + typedef std::map <TaskInstID, TaskInstSet> PrecedenceSet; + /// Type of a Precedence Relation mapped to a Precedence Set. + /// This gives the whole Precedence Graph + typedef std::map <PrecedenceRelation, PrecedenceSet> PrecedenceGraph; /// Type of a set of open conditions, each associated with task instances |