From 87bbbf71bf6ab45b884156b695c00d161417b5df Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 25 Nov 2008 13:59:03 +0000 Subject: [PATCH] Bug fix (CTMC cumulative rewards with rewards on self-loops) (hybrid engine). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@827 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/hybrid/PH_StochCumulReward.cc | 2 -- 1 file changed, 2 deletions(-) diff --git a/prism/src/hybrid/PH_StochCumulReward.cc b/prism/src/hybrid/PH_StochCumulReward.cc index 68fe80d9..7fa0c854 100644 --- a/prism/src/hybrid/PH_StochCumulReward.cc +++ b/prism/src/hybrid/PH_StochCumulReward.cc @@ -167,8 +167,6 @@ jdouble time // time bound } // combine state/transition rewards into a single vector - // for efficiency, we keep diagonal stuff separately as an array - // maths is as follows, where: c=state costs, q=unif const, P=unif matrix, C=trans costs, 1=vect of 1sm, Q/R = gen/rate matrix, D=row sums of R // new state rewards = c + (R.C)1 // first, multiply transition rates by transition rewards and sum rows // = (R.C)1