| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/level/control_flow_level.data')
| -rw-r--r-- | data/level/control_flow_level.data | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/data/level/control_flow_level.data b/data/level/control_flow_level.data deleted file mode 100644 index a7cc9c0..0000000 --- a/data/level/control_flow_level.data +++ /dev/null @@ -1,19 +0,0 @@ -;; Control Flow Level - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; TYPES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -(add_type node) -(add_type node_depth) - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 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) |