[Javabdd-checkins] JavaBDD/org/sf/javabdd JDDFactory.java,1.4,1.5

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

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

Modified Files:
	JDDFactory.java 
Log Message:
Added setmaxincrease, etc.

Index: JDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JDDFactory.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** JDDFactory.java	14 Sep 2004 23:54:10 -0000	1.4
--- JDDFactory.java	15 Sep 2004 00:34:02 -0000	1.5
***************
*** 22,25 ****
--- 22,26 ----
          bdd = new jdd.bdd.BDD(nodenum, cachesize);
          vars = new int[256];
+         jdd.util.Options.verbose = true;
      }
      
***************
*** 548,553 ****
       */
      public void setMinFreeNodes(int x) {
!         // TODO Auto-generated method stub
!         //throw new BDDException();
      }
  
--- 549,553 ----
       */
      public void setMinFreeNodes(int x) {
!         jdd.util.Configuration.minFreeNodesProcent = x;
      }
  
***************
*** 556,561 ****
       */
      public int setMaxIncrease(int x) {
!         //throw new BDDException();
!         return 0;
      }
  
--- 556,562 ----
       */
      public int setMaxIncrease(int x) {
!         int old = jdd.util.Configuration.maxNodeIncrease;
!         jdd.util.Configuration.maxNodeIncrease = x;
!         return old;
      }