[Javabdd-checkins] JavaBDD/org/sf/javabdd FindBestOrder.java,1.7,1.8

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

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

Modified Files:
	FindBestOrder.java 
Log Message:
Change to JFactory by default.

Index: FindBestOrder.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/FindBestOrder.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** FindBestOrder.java	15 Jul 2004 07:08:47 -0000	1.7
--- FindBestOrder.java	27 Jul 2004 23:20:03 -0000	1.8
***************
*** 150,154 ****
              long total = System.currentTimeMillis();
              if (bdd == null) {
!                 bdd = JavaFactory.init(nodeTableSize, cacheSize);
                  bdd.setMaxIncrease(maxIncrease);
                  readBDDConfig(bdd);
--- 150,154 ----
              long total = System.currentTimeMillis();
              if (bdd == null) {
!                 bdd = JFactory.init(nodeTableSize, cacheSize);
                  bdd.setMaxIncrease(maxIncrease);
                  readBDDConfig(bdd);