Browse Source

typo in variable name

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3395 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Vojtech Forejt 15 years ago
parent
commit
6238c3fe78
  1. 2
      prism/src/explicit/rewards/STPGRewardsSimple.java

2
prism/src/explicit/rewards/STPGRewardsSimple.java

@ -164,7 +164,7 @@ public class STPGRewardsSimple extends MDPRewardsSimple implements STPGRewards
{
List<List<Double>> list1;
List<Double> list2;
if (nestedTransRewards1 == null || (list1 = nestedTransRewards2.get(s)) == null)
if (nestedTransRewards2 == null || (list1 = nestedTransRewards2.get(s)) == null)
return 0.0;
if (list1.size() <= i || (list2 = list1.get(i)) == null)
return 0.0;

Loading…
Cancel
Save