From 8c0f4f024d1e2e6313b7f478ba4dd21ae041d51e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 23 May 2012 22:55:18 +0000 Subject: [PATCH] Fix for last commit. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5266 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/hybrid/PH_StochCumulReward.cc | 23 ----------------------- 1 file changed, 23 deletions(-) diff --git a/prism/src/hybrid/PH_StochCumulReward.cc b/prism/src/hybrid/PH_StochCumulReward.cc index 00d778db..96cd4a10 100644 --- a/prism/src/hybrid/PH_StochCumulReward.cc +++ b/prism/src/hybrid/PH_StochCumulReward.cc @@ -258,29 +258,6 @@ jdouble time // time bound // do matrix vector multiply bit mult_rec(hdd, 0, 0, 0); - // check for steady state convergence - // (note: doing outside loop means may not need to check all elements) - if (do_ss_detect) switch (term_crit) { - case TERM_CRIT_ABSOLUTE: - done = true; - for (i = 0; i < n; i++) { - if (fabs(soln2[i] - soln[i]) > term_crit_param_unif) { - done = false; - break; - } - } - break; - case TERM_CRIT_RELATIVE: - done = true; - for (i = 0; i < n; i++) { - if (fabs((soln2[i] - soln[i])/soln2[i]) > term_crit_param_unif) { - done = false; - break; - } - } - break; - } - // check for steady state convergence if (do_ss_detect) { sup_norm = 0.0;