From 4d56c4315751dc070b4bad8e77ef6501339b467d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 4 Aug 2011 12:26:46 +0000 Subject: [PATCH] Small fixes in explicit action construction. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3364 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/ConstructModel.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java index a160da20..4236cc06 100644 --- a/prism/src/explicit/ConstructModel.java +++ b/prism/src/explicit/ConstructModel.java @@ -96,7 +96,7 @@ public class ConstructModel * @param modulesFile The PRISM model * @param justReach If true, just build the reachable state set, not the model * @param buildSparse Build a sparse version of the model (if possible)? - * @param distinguishActions True if the distributions with different action should be added to the model as separate ones. + * @param distinguishActions True if actions should be attached to distributions (and used to distinguish them) */ public Model constructModel(ModulesFile modulesFile, boolean justReach, boolean buildSparse, boolean distinguishActions) throws PrismException { @@ -217,7 +217,6 @@ public class ConstructModel if (modelType == ModelType.MDP) { if (distinguishActions) { k = mdp.addActionLabelledChoice(src, distr, engine.getTransitionAction(i, 0)); - mdp.setAction(src, k, engine.getTransitionAction(i, 0)); } else { k = mdp.addChoice(src, distr); }