From 726c84eedd502f360794da06b20a638e25a9c73d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 10 Jun 2013 11:53:22 +0000 Subject: [PATCH] Aligning with prism-games a bit (explicit reward stuff). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6875 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/rewards/ConstructRewards.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/prism/src/explicit/rewards/ConstructRewards.java b/prism/src/explicit/rewards/ConstructRewards.java index 7d503e08..b74debf6 100644 --- a/prism/src/explicit/rewards/ConstructRewards.java +++ b/prism/src/explicit/rewards/ConstructRewards.java @@ -40,7 +40,9 @@ import parser.ast.RewardStruct; import prism.PrismException; import prism.PrismFileLog; import prism.PrismLog; -import explicit.*; +import explicit.DTMC; +import explicit.MDP; +import explicit.Model; public class ConstructRewards { @@ -115,7 +117,7 @@ public class ConstructRewards /** * Construct the rewards for an MDP from a model and reward structure. - * @param model The MDP + * @param mdp The MDP * @param rewStr The reward structure * @param constantValues Values for any undefined constants needed */