| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-30 13:57:53 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-30 13:57:53 +0200 |
| commit | b715c825c0a36063e7b79248059263b438a0b5a6 (patch) | |
| tree | 0ffdcb05d7b24d8928109b11d7e4743ef57e804d /data | |
| parent | aebd8f1bd52495b0a787e0cccfa4501141eace2b (diff) | |
Gets stuck due to scaling issues.
Diffstat (limited to 'data')
| -rw-r--r-- | data/level/instances.lvl | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/data/level/instances.lvl b/data/level/instances.lvl new file mode 100644 index 0000000..5fdb42b --- /dev/null +++ b/data/level/instances.lvl @@ -0,0 +1,22 @@ +;; Instances + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; TYPES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +(add_type instance) + +;; Redundancies +(add_type entity) +(add_type process) +(add_type waveform) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +(add_predicate is_waveform_instance instance waveform) +(add_predicate is_visible_in instance waveform entity) + +(add_predicate is_process_instance instance process) +(add_predicate is_visible_in instance process entity) + +(add_predicate process_instance_maps instance process instance waveform waveform) |