| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/level/control_flow_level.lvl')
| -rw-r--r-- | data/level/control_flow_level.lvl | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/data/level/control_flow_level.lvl b/data/level/control_flow_level.lvl new file mode 100644 index 0000000..516f9ef --- /dev/null +++ b/data/level/control_flow_level.lvl @@ -0,0 +1,24 @@ +;; Control Flow Level + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; TYPES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +(add_type node) +(add_type node_depth) + +;; Redundancies +(add_type process) +(add_type string) +(add_type waveform) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 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) +(add_predicate expr_writes node waveform) +(add_predicate expr_reads node waveform) |