From 2261b32586adadd296c1fe22ada79e5e07dad55a Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Mon, 26 Jun 2017 10:18:41 +0000 Subject: [PATCH] SamplerRewardReach: minor cleanup in constructor Remove unnecessary check on valueKnown in constructor, seems to be a copy-paste artifact. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11998 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/sampler/SamplerRewardReach.java | 4 ---- 1 file changed, 4 deletions(-) diff --git a/prism/src/simulator/sampler/SamplerRewardReach.java b/prism/src/simulator/sampler/SamplerRewardReach.java index 5eec550a..2cd04a63 100644 --- a/prism/src/simulator/sampler/SamplerRewardReach.java +++ b/prism/src/simulator/sampler/SamplerRewardReach.java @@ -43,10 +43,6 @@ public class SamplerRewardReach extends SamplerDouble */ public SamplerRewardReach(ExpressionTemporal expr, int rewardStructIndex) throws PrismException { - // If the answer is already known we should do nothing - if (valueKnown) - return; - // Make sure expression is of the correct type // Then extract other required info if (expr.getOperator() != ExpressionTemporal.P_F)