From 40a683f80c72df0698b75be6a98ac50299cea98b Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Mon, 4 Dec 2006 16:03:22 +0000 Subject: [PATCH] Fixed small bug. Changed cumulative reward to include outgoign transition. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@179 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/simulator/GUISimulator.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java index 2e2c4eff..525f043a 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -2160,7 +2160,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect return new String("..."); else { - Double value = new Double(SimulatorEngine.getTotalStateRewardOfPathState(stateIndex, super.index) + ((stateIndex == 0) ? 0.0 : SimulatorEngine.getTotalTransitionRewardOfPathState(stateIndex-1, super.index))); + Double value = new Double(SimulatorEngine.getTotalStateRewardOfPathState(stateIndex, super.index) + SimulatorEngine.getTotalTransitionRewardOfPathState(stateIndex, super.index)); return value; } } @@ -2751,7 +2751,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect if (objValue instanceof RewardStructureValue) { - RewardStructureValue value = (RewardStructureValue)reward.getValue(rowIndex, (rowIndex == SimulatorEngine.getPathSize() - 1)); + RewardStructureValue value = (RewardStructureValue)objValue; value.setStateRewardVisible(!(reward.isStateEmpty() && view.hideEmptyRewards())); value.setTransitionRewardVisible(!(reward.isTransitionEmpty() && view.hideEmptyRewards()));