| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/level/control_flow_level_kodkod.lvl')
| -rw-r--r-- | data/level/control_flow_level_kodkod.lvl | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/data/level/control_flow_level_kodkod.lvl b/data/level/control_flow_level_kodkod.lvl new file mode 100644 index 0000000..949f69f --- /dev/null +++ b/data/level/control_flow_level_kodkod.lvl @@ -0,0 +1,17 @@ +;; Control Flow Level, Kodkod additions + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; TYPES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +(add_type path) + +;; Redundancies +(add_type node) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +(add_predicate is_path_of path node) +(add_predicate contains_node path node) +(add_predicate is_before path node node) |