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 --- cfg-to-paths/src/Main.java | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'cfg-to-paths') diff --git a/cfg-to-paths/src/Main.java b/cfg-to-paths/src/Main.java index f49a357..481d53f 100644 --- a/cfg-to-paths/src/Main.java +++ b/cfg-to-paths/src/Main.java @@ -100,6 +100,20 @@ public class Main for (int i = 1; i < tuple_size; ++i) { out.write("(contains_node " + id + " " + tuple.get(i) + ")\n"); + + for (int j = (i + 1); j < tuple_size; ++j) + { + out.write + ( + "(is_before " + + id + + " " + + tuple.get(i) + + " " + + tuple.get(j) + + ")\n" + ); + } } } } -- cgit v1.2.3-70-g09d2