Generalize initializer type in BFS provider

ftsrg · Feb 16, 2024 · 218df2e · 218df2e
1 parent d7289e3
commit 218df2e
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/...ysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/fixpoint/BfsProvider.java b/...ysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/fixpoint/BfsProvider.java
@@ -28,11 +28,8 @@ 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;