From d48380bd87dcef4b095b2a4e578d4461e68df73c Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 17 Jul 2017 15:22:19 +0200 Subject: Working on a way to CTL over DAG in Kodkod. --- data/level/control_flow_level_kodkod.data | 13 +++++++++++++ 1 file changed, 13 insertions(+) create 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 new file mode 100644 index 0000000..987b63e --- /dev/null +++ b/data/level/control_flow_level_kodkod.data @@ -0,0 +1,13 @@ +;; 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) -- cgit v1.2.3-70-g09d2