Create new statespaceinfo instead of reusing the one created above

ftsrg · Feb 15, 2024 · 2263f28 · 2263f28
1 parent 03b6e9d
commit 2263f28
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/.../hu/bme/mit/theta/analysis/algorithm/symbolic/fixpoint/GeneralizedSaturationProvider.java b/.../hu/bme/mit/theta/analysis/algorithm/symbolic/fixpoint/GeneralizedSaturationProvider.java
@@ -198,10 +198,16 @@ private MddNode satFire(
 		}
 
 		MddUnsafeTemplateBuilder templateBuilder = JavaMddFactory.getDefault().createUnsafeTemplateBuilder();
-
+
+//		final IntObjMapView<AbstractNextStateDescriptor> diagonal = dfire.getDiagonal(
+//				stateSpaceInfo);
+//		var c = diagonal.cursor();
+
+		var stateSpaceInfo2 = new MddStateSpaceInfo(variable, n);
+
 		final IntObjMapView<IntObjMapView<AbstractNextStateDescriptor>> offDiagonal = dfire.getOffDiagonal(
-			stateSpaceInfo);
-		
+			stateSpaceInfo2);
+
 		for (IntObjCursor<? extends MddNode> cFrom = n.cursor(); cFrom.moveNext(); ) {
 			for (IntObjCursor<? extends AbstractNextStateDescriptor> cTo = offDiagonal.get(
 				cFrom.key()).cursor(); cTo.moveNext(); ) {