| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-17 18:59:31 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-17 18:59:31 +0200 |
| commit | 31e1948a7f3bf1f7902cd5a0d6d49cef277e73ae (patch) | |
| tree | 4b60ed0258b26cfa4f2ca85ecb30ec5fe342a29d /data/level | |
| parent | 44c43a703e2d996ac80318a67c7ba3a828dca19b (diff) | |
Adds the (rather costly) predicate to handle Until
Diffstat (limited to 'data/level')
| -rw-r--r-- | data/level/control_flow_level_kodkod.data | 1 |
1 files changed, 1 insertions, 0 deletions
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) |