| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/level/control_flow_level.data')
| -rw-r--r-- | data/level/control_flow_level.data | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/level/control_flow_level.data b/data/level/control_flow_level.data index a880606..a7cc9c0 100644 --- a/data/level/control_flow_level.data +++ b/data/level/control_flow_level.data @@ -10,6 +10,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) |