Restored re-exploring model builder to working version

fluentverification · Jun 14, 2022 · aa4dace · aa4dace
1 parent aae3637
commit aa4dace
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/stamina/builder/StaminaReExploringModelBuilder.cpp b/src/stamina/builder/StaminaReExploringModelBuilder.cpp
@@ -89,8 +89,6 @@ StaminaReExploringModelBuilder<ValueType, RewardModelType, StateType>::buildMatr
 	StateType currentIndex;
 	CompressedState currentState;
 
-	perimeterReachability = 1.0;
-
 	isInit = false;
 	// Perform a search through the model.
 	while (!statesToExplore.empty()) {
@@ -231,7 +229,6 @@ StaminaReExploringModelBuilder<ValueType, RewardModelType, StateType>::buildMatr
 		currentProbabilityState->isNew = false;
 		if (currentProbabilityState->isTerminal() && numberTerminal > 0) {
 			numberTerminal--;
-			perimeterReachability -= currentProbabilityState->getPi();
 		}
 		currentProbabilityState->setTerminal(false);
 		currentProbabilityState->setPi(0.0);