[Javabdd-checkins] JavaBDD/net/sf/javabdd CUDDFactory.java,1.7,1.8

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

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

Modified Files:
	CUDDFactory.java 
Log Message:
Implemented getCacheSize() for reset().
Also fixed implementation of var().

Index: CUDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/CUDDFactory.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** CUDDFactory.java	21 May 2005 08:47:10 -0000	1.7
--- CUDDFactory.java	29 Jun 2005 07:52:06 -0000	1.8
***************
*** 415,421 ****
       */
      public int getCacheSize() {
!         // TODO Implement this.
!         throw new UnsupportedOperationException();
      }
      
      /* (non-Javadoc)
--- 415,421 ----
       */
      public int getCacheSize() {
!         return getCacheSize0();
      }
+     private static native int getCacheSize0();
      
      /* (non-Javadoc)
***************
*** 483,486 ****
--- 483,488 ----
           */
          public int var() {
+             if (isZero() || isOne())
+                 throw new BDDException("cannot get var of terminal");
              return var0(_ddnode_ptr);
          }