summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-27 11:25:42 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-27 11:25:42 +0200
commit51edef030be94b7aa23631f7e40225c60878473f (patch)
treef72e0167943e611f469e0600eadabb3b683519bd /data/level/control_flow_level.lvl
parent3c5e716206f1a1161c5b28e6567987f6e74061e8 (diff)
First shot at depths operators.
Diffstat (limited to 'data/level/control_flow_level.lvl')
-rw-r--r--data/level/control_flow_level.lvl8
1 files changed, 4 insertions, 4 deletions
diff --git a/data/level/control_flow_level.lvl b/data/level/control_flow_level.lvl
index 3b11efe..106235d 100644
--- a/data/level/control_flow_level.lvl
+++ b/data/level/control_flow_level.lvl
@@ -5,7 +5,7 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(add_type node)
-(add_type node_depth)
+(add_type depth)
;; Redundancies
(add_type process)
@@ -16,9 +16,7 @@
;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(add_predicate is_start_node node process)
-(add_predicate has_kind node string)
(add_predicate has_option node string)
-(add_predicate has_depth node node_depth)
(add_predicate node_connect node node)
;;; To be removed soon.
@@ -29,6 +27,8 @@
(add_predicate is_read_element node string string)
(add_predicate is_terminal node)
+(add_predicate is_lower_than depth depth)
+
(add_function label node string)
(add_function kind node string)
-(add_function depth node string)
+(add_function depth node depth)