From a551301b5c44c80ea0bf1a6fcacb5885e7c9ea64 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 23 Jun 2017 09:13:19 +0000
Subject: [PATCH] prism.ECComputerDefault: use JDD.isSingleton instead of
 GetNumMinterms to check for singleton state set

Using isSingleton should be more efficent.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11992 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ECComputerDefault.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/ECComputerDefault.java b/prism/src/prism/ECComputerDefault.java
index 0799ebbd..5c385521 100644
--- a/prism/src/prism/ECComputerDefault.java
+++ b/prism/src/prism/ECComputerDefault.java
@@ -111,7 +111,7 @@ public class ECComputerDefault extends ECComputer
 				continue;
 			}
 
-			if (stableSet.equals(candidate) && JDD.GetNumMinterms(stableSet, allDDRowVars.n()) == 1) {
+			if (stableSet.equals(candidate) && JDD.isSingleton(stableSet, allDDRowVars)) {
 				mecs.add(candidate);
 				JDD.Deref(stableSet);
 				continue;