From a602cecb262960049ba3f5a14a4c89072e22df78 Mon Sep 17 00:00:00 2001 From: dehnert Date: Sun, 8 Feb 2015 15:14:22 +0100 Subject: [PATCH] removed simplification of final result. Former-commit-id: d5a1f5f28cbd2d2576e64a8ad7ef4aebb70fd35c --- .../SparseDtmcEliminationModelChecker.cpp | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/src/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp b/src/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp index 1a3e54ab2..7f5ea4ea5 100644 --- a/src/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp +++ b/src/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp @@ -536,13 +536,21 @@ namespace storm { STORM_PRINT_AND_LOG(" * maximal depth of SCC decomposition: " << maximalDepth << std::endl); } } - + // Now, we return the value for the only initial state. STORM_LOG_DEBUG("Simplifying and returning result."); if (stateRewards) { - return storm::utility::simplify(stateRewards.get()[*initialStates.begin()]); +// if (storm::settings::parametricSettings().isSimplifySet()) { +// return storm::utility::simplify(stateRewards.get()[*initialStates.begin()]); +// } else { + return stateRewards.get()[*initialStates.begin()]; +// } } else { - return storm::utility::simplify(oneStepProbabilities[*initialStates.begin()]); +// if (storm::settings::parametricSettings().isSimplifySet()) { +// return storm::utility::simplify(oneStepProbabilities[*initialStates.begin()]); +// } else { + return oneStepProbabilities[*initialStates.begin()]; +// } } }