From c060377de50678d79d2e40dda2cdf6d72cbd8e75 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 3 Dec 2014 22:31:25 +0100
Subject: [PATCH] Ignore rewards for bisimulation quotienting (of parametric
 models) if the property to check is not related to rewards.

Former-commit-id: ab9f1d8f3c5b587c1628511edc236333338b587a
---
 src/stormParametric.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/stormParametric.cpp b/src/stormParametric.cpp
index 21df8eff0..ad0a41933 100644
--- a/src/stormParametric.cpp
+++ b/src/stormParametric.cpp
@@ -192,7 +192,7 @@ int main(const int argc, const char** argv) {
         
         // Perform bisimulation minimization if requested.
         if (storm::settings::generalSettings().isBisimulationSet()) {
-            storm::storage::DeterministicModelBisimulationDecomposition<storm::RationalFunction> bisimulationDecomposition(*dtmc, phiStateFormulaApFormula->getAp(), psiStateFormulaApFormula->getAp(), true, storm::settings::bisimulationSettings().isWeakBisimulationSet(), false, true);
+            storm::storage::DeterministicModelBisimulationDecomposition<storm::RationalFunction> bisimulationDecomposition(*dtmc, phiStateFormulaApFormula->getAp(), psiStateFormulaApFormula->getAp(), keepRewards, storm::settings::bisimulationSettings().isWeakBisimulationSet(), false, true);
             dtmc = bisimulationDecomposition.getQuotient()->as<storm::models::Dtmc<storm::RationalFunction>>();
             
             dtmc->printModelInformationToStream(std::cout);