#239, added capability to flatten all weq edges before doing "meetWit…

…hWeqGpa", fixed some corner cases, refactoring: move WeakEquivalenceEdgeLabel into its own file
ultimate-pa · Oct 31, 2017 · 71ba6e5 · 71ba6e5
1 parent 3c1a633
commit 71ba6e5
Show file tree

Hide file tree

Showing 7 changed files with 871 additions and 741 deletions.
diff --git a/...c/de/uni_freiburg/informatik/ultimate/modelcheckerutils/absint/vpdomain/EqConstraint.java b/...c/de/uni_freiburg/informatik/ultimate/modelcheckerutils/absint/vpdomain/EqConstraint.java
@@ -90,7 +90,8 @@ public EqConstraint(final int id, final EqConstraintFactory<NODE> factory) {
 
 	public EqConstraint(final int id, final WeqCongruenceClosure<NODE> cClosure,
 			final EqConstraintFactory<NODE> factory) {
-		this(id, factory, new WeqCongruenceClosure<>(cClosure));
+		this(id, factory, factory.getCcManager().makeCopy(cClosure));
+//		this(id, factory, new WeqCongruenceClosure<>(cClosure));
 	}
 
 	/**
@@ -99,7 +100,8 @@ public EqConstraint(final int id, final WeqCongruenceClosure<NODE> cClosure,
 	 * @param constraint
 	 */
 	public EqConstraint(final int id, final EqConstraint<NODE> constraint) {
-		this(id, constraint.mFactory, new WeqCongruenceClosure<>(constraint.mPartialArrangement));
+		this(id, constraint.mFactory,  constraint.mFactory.getCcManager().makeCopy(constraint.mPartialArrangement));
+		//new WeqCongruenceClosure<>(constraint.mPartialArrangement));
 	}
 
 	private EqConstraint(final int id, final EqConstraintFactory<NODE> factory,