From de95d5ea89a5da894502c215639d29ff951536d5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 27 Sep 2012 20:42:55 +0000
Subject: [PATCH] Slight efficiency improvement in JDD.IsContainedIn().

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5705 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jdd/JDD.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java
index 1ed3cda7..4227b21a 100644
--- a/prism/src/jdd/JDD.java
+++ b/prism/src/jdd/JDD.java
@@ -437,8 +437,10 @@ public class JDD
 		boolean res;
 		JDD.Ref(dd1);
 		JDD.Ref(dd2);
-		tmp = JDD.Implies(dd1, dd2);
-		res = tmp.equals(JDD.ONE);
+		/*tmp = JDD.Implies(dd1, dd2);
+		res = tmp.equals(JDD.ONE);*/
+		tmp = JDD.And(dd1, dd2);
+		res = tmp.equals(dd1);
 		JDD.Deref(tmp);
 		return res;
 	}