| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 10:29:52 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 10:29:52 +0200 |
| commit | 70b40bfb6c032c0dead7069b2178a43e63a8e563 (patch) | |
| tree | fddf894ab2642aad5d6a87b85c00192833c0d64b /data/level | |
| parent | 1cac6685e5dc334473c304194d5f816b6ecf3469 (diff) | |
First shot at the framework (it does compile).
Diffstat (limited to 'data/level')
| -rw-r--r-- | data/level/control_flow_level.lvl (renamed from data/level/control_flow_level.data) | 5 | ||||
| -rw-r--r-- | data/level/control_flow_level_kodkod.lvl (renamed from data/level/control_flow_level_kodkod.data) | 3 | ||||
| -rw-r--r-- | data/level/structural_level.lvl (renamed from data/level/structural_level.data) | 0 |
3 files changed, 8 insertions, 0 deletions
diff --git a/data/level/control_flow_level.data b/data/level/control_flow_level.lvl index a7cc9c0..516f9ef 100644 --- a/data/level/control_flow_level.data +++ b/data/level/control_flow_level.lvl @@ -7,6 +7,11 @@ (add_type node) (add_type node_depth) +;; Redundancies +(add_type process) +(add_type string) +(add_type waveform) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; diff --git a/data/level/control_flow_level_kodkod.data b/data/level/control_flow_level_kodkod.lvl index ed11735..949f69f 100644 --- a/data/level/control_flow_level_kodkod.data +++ b/data/level/control_flow_level_kodkod.lvl @@ -6,6 +6,9 @@ (add_type path) +;; Redundancies +(add_type node) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; diff --git a/data/level/structural_level.data b/data/level/structural_level.lvl index 75c4ac9..75c4ac9 100644 --- a/data/level/structural_level.data +++ b/data/level/structural_level.lvl |