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_kodkod.data | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 data/level/control_flow_level_kodkod.data (limited to 'data/level/control_flow_level_kodkod.data') diff --git a/data/level/control_flow_level_kodkod.data b/data/level/control_flow_level_kodkod.data deleted file mode 100644 index ed11735..0000000 --- a/data/level/control_flow_level_kodkod.data +++ /dev/null @@ -1,14 +0,0 @@ -;; Control Flow Level, Kodkod additions - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; TYPES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -(add_type path) - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate is_path_of path node) -(add_predicate contains_node path node) -(add_predicate is_before path node node) -- cgit v1.2.3-70-g09d2