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

[John W. <joe...@us...>]

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

Modified Files:
	BDD.java 
Log Message:


Index: BDD.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDD.java,v
retrieving revision 1.34
retrieving revision 1.35
diff -C2 -d -r1.34 -r1.35
*** BDD.java	12 Aug 2004 21:18:27 -0000	1.34
--- BDD.java	12 Aug 2004 21:23:40 -0000	1.35
***************
*** 858,863 ****
              int level = factory.var2Level(var);
              int i = Arrays.binarySearch(levels, level);
!             if (i == -1)
!                 throw new BDDException(); 
              return nodes[i] == null;
          }
--- 858,863 ----
              int level = factory.var2Level(var);
              int i = Arrays.binarySearch(levels, level);
!             if (i < 0)
!                 throw new BDDException("var "+var+" not in iteration set"); 
              return nodes[i] == null;
          }
***************
*** 876,880 ****
              int level = factory.var2Level(var);
              int i = Arrays.binarySearch(levels, level);
!             if (i == -1)
                  throw new BDDException(); 
              if (nodes[i] != null)
--- 876,880 ----
              int level = factory.var2Level(var);
              int i = Arrays.binarySearch(levels, level);
!             if (i < 0)
                  throw new BDDException(); 
              if (nodes[i] != null)