| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/level/control_flow_level.lvl')
| -rw-r--r-- | data/level/control_flow_level.lvl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/data/level/control_flow_level.lvl b/data/level/control_flow_level.lvl index 9408409..3b11efe 100644 --- a/data/level/control_flow_level.lvl +++ b/data/level/control_flow_level.lvl @@ -28,3 +28,7 @@ (add_predicate is_read_element node string waveform) (add_predicate is_read_element node string string) (add_predicate is_terminal node) + +(add_function label node string) +(add_function kind node string) +(add_function depth node string) |