Qvasr: Use LinkedHashSet to preserve order, should fix test (#611)

ultimate-pa · Jan 11, 2023 · 7b31f43 · 7b31f43
1 parent beabef9
commit 7b31f43
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/...c/de/uni_freiburg/informatik/ultimate/icfgtransformer/loopacceleration/qvasr/Intvasr.java b/...c/de/uni_freiburg/informatik/ultimate/icfgtransformer/loopacceleration/qvasr/Intvasr.java
@@ -27,7 +27,7 @@
 
 package de.uni_freiburg.informatik.ultimate.icfgtransformer.loopacceleration.qvasr;
 
-import java.util.HashSet;
+import java.util.LinkedHashSet;
 import java.util.Set;
 
 import de.uni_freiburg.informatik.ultimate.util.datastructures.relation.Pair;
@@ -55,7 +55,7 @@ public class Intvasr implements IVasr<Integer> {
 	 */
 	public Intvasr(final Integer[] resetVector, final Integer[] additionVector) {
 		final Pair<Integer[], Integer[]> initialTransformer = new Pair<>(resetVector, additionVector);
-		final Set<Pair<Integer[], Integer[]>> initialTransformerSet = new HashSet<>();
+		final Set<Pair<Integer[], Integer[]>> initialTransformerSet = new LinkedHashSet<>();
 		initialTransformerSet.add(initialTransformer);
 		mDimension = resetVector.length;
 		mTransformer = initialTransformerSet;
@@ -66,7 +66,7 @@ public Intvasr(final Integer[] resetVector, final Integer[] additionVector) {
 	 */
 	public Intvasr() {
 		mDimension = 0;
-		mTransformer = new HashSet<>();
+		mTransformer = new LinkedHashSet<>();
 	}
 
 	@Override

diff --git a/...src/de/uni_freiburg/informatik/ultimate/icfgtransformer/loopacceleration/qvasr/Qvasr.java b/...src/de/uni_freiburg/informatik/ultimate/icfgtransformer/loopacceleration/qvasr/Qvasr.java
@@ -27,7 +27,7 @@
 
 package de.uni_freiburg.informatik.ultimate.icfgtransformer.loopacceleration.qvasr;
 
-import java.util.HashSet;
+import java.util.LinkedHashSet;
 import java.util.Set;
 
 import de.uni_freiburg.informatik.ultimate.logic.Rational;
@@ -56,7 +56,7 @@ public class Qvasr implements IVasr<Rational> {
 	 */
 	public Qvasr(final Rational[] resetVector, final Rational[] additionVector) {
 		final Pair<Rational[], Rational[]> initialTransformer = new Pair<>(resetVector, additionVector);
-		final Set<Pair<Rational[], Rational[]>> initialTransformerSet = new HashSet<>();
+		final Set<Pair<Rational[], Rational[]>> initialTransformerSet = new LinkedHashSet<>();
 		initialTransformerSet.add(initialTransformer);
 		mDimension = resetVector.length;
 		mTransformer = initialTransformerSet;
@@ -67,7 +67,7 @@ public Qvasr(final Rational[] resetVector, final Rational[] additionVector) {
 	 */
 	public Qvasr() {
 		mDimension = 0;
-		mTransformer = new HashSet<>();
+		mTransformer = new LinkedHashSet<>();
 	}
 
 	@Override