From 1d0b2f2214941f97ed8f457a052e6c59904e120c Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Tue, 18 Jul 2017 16:26:51 +0200 Subject: Solves previous problem by changing path def. Instead of the path "n1 -> n2 -> n3" being "n2 -> n3" a path starting from n1, it's now "n1 -> n2 -> n3" (still starting from n1). --- cfg-to-paths/src/Main.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cfg-to-paths/src/Main.java') diff --git a/cfg-to-paths/src/Main.java b/cfg-to-paths/src/Main.java index 481d53f..853983a 100644 --- a/cfg-to-paths/src/Main.java +++ b/cfg-to-paths/src/Main.java @@ -97,7 +97,7 @@ public class Main out.write("(add_element path " + id + ")\n"); out.write("(is_path_of " + id + " " + tuple.get(0) + ")\n"); - for (int i = 1; i < tuple_size; ++i) + for (int i = 0; i < tuple_size; ++i) { out.write("(contains_node " + id + " " + tuple.get(i) + ")\n"); -- cgit v1.2.3-70-g09d2