[Javabdd-checkins] JavaBDD/org/sf/javabdd BDD.java,1.35,1.36

[Jim Z. <jz...@us...>]

Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv30082/org/sf/javabdd

Modified Files:
	BDD.java 
Log Message:
Fixed bug

Index: BDD.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDD.java,v
retrieving revision 1.35
retrieving revision 1.36
diff -C2 -d -r1.35 -r1.36
*** BDD.java	12 Aug 2004 21:23:40 -0000	1.35
--- BDD.java	12 Aug 2004 23:26:03 -0000	1.36
***************
*** 854,857 ****
--- 854,858 ----
          
          public boolean isDontCare(int var) {
+             if (nodes == null) return false;
              if (levels == null)
                  throw new BDDException(); 
***************
*** 864,867 ****
--- 865,869 ----
          
          public boolean isDontCare(BDDDomain d) {
+             if (nodes == null) return false;
              int[] vars = d.vars();
              for (int i = 0; i < vars.length; ++i) {