Browse Source

Comments

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3373 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
commit
7a07921f76
  1. 6
      prism/src/explicit/rewards/MDPRewardsSimple.java

6
prism/src/explicit/rewards/MDPRewardsSimple.java

@ -35,11 +35,11 @@ import java.util.List;
*/ */
public class MDPRewardsSimple implements MDPRewards public class MDPRewardsSimple implements MDPRewards
{ {
/** Number of state */
/** Number of states */
protected int numStates; protected int numStates;
/** State rewards **/
/** State rewards */
protected List<Double> stateRewards; protected List<Double> stateRewards;
/** Transition rewards **/
/** Transition rewards */
protected List<List<Double>> transRewards; protected List<List<Double>> transRewards;
/** /**

Loading…
Cancel
Save