From e681ec2ae772a5e1c871ed7a4b6ffeee44d15379 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 21 Feb 2012 10:47:47 +0000 Subject: [PATCH] Remove old un-needed code in explicit model checking function. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4675 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/StateModelChecker.java | 8 -------- 1 file changed, 8 deletions(-) diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java index f699d3a4..8866a84c 100644 --- a/prism/src/explicit/StateModelChecker.java +++ b/prism/src/explicit/StateModelChecker.java @@ -189,14 +189,6 @@ public class StateModelChecker // Create storage for result result = new Result(); - // Remove labels from property, using combined label list (on a copy of the expression) - // This is done now so that we can handle labels nested below operators that are not - // handled natively by the model checker yet (just evaluate()ed in a loop). - expr = (Expression) expr.deepCopy().expandLabels(propertiesFile.getCombinedLabelList()); - - // Also evaluate/replace any constants - //expr = (Expression) expr.replaceConstants(constantValues); - // The final result of model checking will be a single value. If the expression to be checked does not // already yield a single value (e.g. because a filter has not been explicitly included), we need to wrap // a new (invisible) filter around it. Note that some filters (e.g. print/argmin/argmax) also do not