From b6fcd8ab8af7281109f79776fb19c30ce2b0569d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 11 Nov 2010 16:14:07 +0000 Subject: [PATCH] Code tidy (forwards reach). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2238 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/pta/ForwardsReach.java | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/prism/src/pta/ForwardsReach.java b/prism/src/pta/ForwardsReach.java index 15a396ea..cfbeaf3c 100644 --- a/prism/src/pta/ForwardsReach.java +++ b/prism/src/pta/ForwardsReach.java @@ -77,12 +77,8 @@ public class ForwardsReach public ReachabilityGraph buildForwardsGraph(PTA pta, BitSet targetLocs, Constraint targetConstraint) throws PrismException { - boolean formats10 = true; - - if (formats10) - return buildForwardsGraphFormats10(pta, targetLocs, targetConstraint); - else - return buildForwardsGraphFormats09(pta, targetLocs, targetConstraint); + return buildForwardsGraphFormats10(pta, targetLocs, targetConstraint); + //return buildForwardsGraphFormats09(pta, targetLocs, targetConstraint); } /** @@ -262,7 +258,10 @@ public class ForwardsReach /** * Implementation of {@link #buildForwardsGraph} using FORMATS'09 definition. + * This should not be used any more since changes/improvements to e.g. timelock detection + * have been implemented under the assumption that the default (FORMATS'10) algorithm is used. */ + @SuppressWarnings("unused") private ReachabilityGraph buildForwardsGraphFormats09(PTA pta, BitSet targetLocs, Constraint targetConstraint) throws PrismException {