#295, first sketchy implementation of PartitionProjection (working ti…

…tle, the "downarrow" projection operator that is used to transform the program according to the heap separation result)
ultimate-pa · Jan 18, 2018 · 5582c84 · 5582c84
1 parent dc6fae0
commit 5582c84
Show file tree

Hide file tree

Showing 3 changed files with 409 additions and 0 deletions.
diff --git a/.../src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/LocationBlock.java b/.../src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/LocationBlock.java
@@ -0,0 +1,10 @@
+package de.uni_freiburg.informatik.ultimate.icfgtransformer.heapseparator;
+
+import java.util.Set;
+
+public class LocationBlock {
+//	Set<IProgramVar> mAssociatedArrag
+
+	Set<EdgeInfo> mLocations;
+
+}