From 7a07921f76347b9c18608bd6e08605d926c7153b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 4 Aug 2011 22:15:41 +0000 Subject: [PATCH] Comments git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3373 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/rewards/MDPRewardsSimple.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/explicit/rewards/MDPRewardsSimple.java b/prism/src/explicit/rewards/MDPRewardsSimple.java index fe7d85f3..369dd504 100644 --- a/prism/src/explicit/rewards/MDPRewardsSimple.java +++ b/prism/src/explicit/rewards/MDPRewardsSimple.java @@ -35,11 +35,11 @@ import java.util.List; */ public class MDPRewardsSimple implements MDPRewards { - /** Number of state */ + /** Number of states */ protected int numStates; - /** State rewards **/ + /** State rewards */ protected List stateRewards; - /** Transition rewards **/ + /** Transition rewards */ protected List> transRewards; /**