From 36ca47cfd808742ebbcda2bc5d6a091791811c3f Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Mon, 30 May 2016 09:31:09 +0000 Subject: [PATCH] Multi-objective LTL: Improve reference counting handling Previously, a derefed JDDNode would be used (not necessarily problematic, as the reference lived on a another node). Fixes a warning by DebugJDD. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11376 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/LTLModelChecker.java | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/prism/src/prism/LTLModelChecker.java b/prism/src/prism/LTLModelChecker.java index f8757fa8..a98a2e39 100644 --- a/prism/src/prism/LTLModelChecker.java +++ b/prism/src/prism/LTLModelChecker.java @@ -1021,10 +1021,8 @@ public class LTLModelChecker extends PrismComponent if (candidateStates.equals(ec)) { //mainLog.println(" ------------- ec is not modified ------------- "); ecs = new Vector(); - //JDDNode ec1 = ec; - //JDD.Ref(ec); - ecs.add(ec); - //JDD.Deref(candidateStates); + ecs.add(ec.copy()); + JDD.Deref(candidateStates); } else if (candidateStates.equals(JDD.ZERO)) { //mainLog.println(" ------------- ec is ZERO ------------- "); JDD.Deref(candidateStates);