From 45da0e31ae14bb10a42e02278754ac4b143936e9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 23 May 2011 10:39:30 +0000 Subject: [PATCH] Bugfix: exception when checking R[I] properties with simulator. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2950 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/sampler/SamplerRewardInstCont.java | 2 +- prism/src/simulator/sampler/SamplerRewardInstDisc.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/simulator/sampler/SamplerRewardInstCont.java b/prism/src/simulator/sampler/SamplerRewardInstCont.java index e87fd11f..8f2c4aae 100644 --- a/prism/src/simulator/sampler/SamplerRewardInstCont.java +++ b/prism/src/simulator/sampler/SamplerRewardInstCont.java @@ -45,7 +45,7 @@ public class SamplerRewardInstCont extends SamplerDouble { // Make sure expression is of the correct type // Then extract other required info - if (expr.getOperator() != ExpressionTemporal.R_C) + if (expr.getOperator() != ExpressionTemporal.R_I) throw new PrismException("Error creating Sampler"); time = expr.getUpperBound().evaluateDouble(); this.rewardStructIndex = rewardStructIndex; diff --git a/prism/src/simulator/sampler/SamplerRewardInstDisc.java b/prism/src/simulator/sampler/SamplerRewardInstDisc.java index ded53d7b..9a4b4395 100644 --- a/prism/src/simulator/sampler/SamplerRewardInstDisc.java +++ b/prism/src/simulator/sampler/SamplerRewardInstDisc.java @@ -45,7 +45,7 @@ public class SamplerRewardInstDisc extends SamplerDouble { // Make sure expression is of the correct type // Then extract other required info - if (expr.getOperator() != ExpressionTemporal.R_C) + if (expr.getOperator() != ExpressionTemporal.R_I) throw new PrismException("Error creating Sampler"); time = expr.getUpperBound().evaluateInt(); this.rewardStructIndex = rewardStructIndex;