diff --git a/prism/src/explicit/rewards/MDPRewardsSimple.java b/prism/src/explicit/rewards/MDPRewardsSimple.java index 191d256a..523a4662 100644 --- a/prism/src/explicit/rewards/MDPRewardsSimple.java +++ b/prism/src/explicit/rewards/MDPRewardsSimple.java @@ -61,9 +61,6 @@ public class MDPRewardsSimple implements MDPRewards */ public void setStateReward(int s, double r) { - // Nothing to do for zero reward - if (r == 0.0) - return; // If no rewards array created yet, create it if (stateRewards == null) { stateRewards = new ArrayList(numStates); @@ -80,9 +77,6 @@ public class MDPRewardsSimple implements MDPRewards public void setTransitionReward(int s, int i, double r) { List list; - // Nothing to do for zero reward - if (r == 0.0) - return; // If no rewards array created yet, create it if (transRewards == null) { transRewards = new ArrayList>(numStates);