From 31e1948a7f3bf1f7902cd5a0d6d49cef277e73ae Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 17 Jul 2017 18:59:31 +0200 Subject: Adds the (rather costly) predicate to handle Until --- data/level/control_flow_level_kodkod.data | 1 + 1 file changed, 1 insertion(+) (limited to 'data') diff --git a/data/level/control_flow_level_kodkod.data b/data/level/control_flow_level_kodkod.data index 987b63e..ed11735 100644 --- a/data/level/control_flow_level_kodkod.data +++ b/data/level/control_flow_level_kodkod.data @@ -11,3 +11,4 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (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