Browse Source

Fix for last commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5266 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 14 years ago
parent
commit
8c0f4f024d
  1. 23
      prism/src/hybrid/PH_StochCumulReward.cc

23
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;

Loading…
Cancel
Save