From 70b40bfb6c032c0dead7069b2178a43e63a8e563 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Wed, 19 Jul 2017 10:29:52 +0200 Subject: First shot at the framework (it does compile). --- data/level/control_flow_level.data | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 data/level/control_flow_level.data (limited to 'data/level/control_flow_level.data') 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) -- cgit v1.2.3-70-g09d2