From 51edef030be94b7aa23631f7e40225c60878473f Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 27 Jul 2017 11:25:42 +0200 Subject: First shot at depths operators. --- data/level/control_flow_level.lvl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'data') 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) -- cgit v1.2.3-70-g09d2