summaryrefslogtreecommitdiff
path: root/SA_POP_Types.h
diff options
context:
space:
mode:
Diffstat (limited to 'SA_POP_Types.h')
-rw-r--r--SA_POP_Types.h8
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