Slight efficiency improvement in JDD.IsContainedIn().

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5705 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · de95d5ea89
1 changed files with 4 additions and 2 deletions
--- 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;
 	}