Generalized the initializer in GSP

ftsrg · Sep 15, 2023 · c04fa4b · c04fa4b
1 parent e836a26
commit c04fa4b
Showing 1 changed file with 1 addition 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
@@ -39,9 +39,7 @@ public MddHandle compute(
 		AbstractNextStateDescriptor nextStateRelation,
 		MddVariableHandle highestAffectedVariable
 	) {
-		final MddHandle initialStates = relProdProvider.compute(((MddGraph<Boolean>) variableOrder.getMddGraph()).getHandleFor(true,
-			highestAffectedVariable
-		), initializer, highestAffectedVariable);
+		final MddHandle initialStates = relProdProvider.compute(variableOrder.getMddGraph().getHandleForTop(), initializer, highestAffectedVariable);
 
 		MddNode result;