[Javabdd-checkins] JavaBDD/org/sf/javabdd BDDFactory.java,1.22,1.23

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

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

Modified Files:
	BDDFactory.java 
Log Message:
Change default to JFactory.

Index: BDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDDFactory.java,v
retrieving revision 1.22
retrieving revision 1.23
diff -C2 -d -r1.22 -r1.23
*** BDDFactory.java	23 Jun 2004 04:13:34 -0000	1.22
--- BDDFactory.java	20 Jul 2004 21:50:24 -0000	1.23
***************
*** 43,49 ****
      /** Initializes a BDD factory of the given type with the given initial
       * node table size and operation cache size.  The type is a string that
!      * can be "buddy", "cudd", "java", "test", or a name of a class that
!      * has an init() method that returns a BDDFactory.  If it fails, it
!      * falls back to the "java" factory.
       * 
       * @param bddpackage BDD package string identifier
--- 43,49 ----
      /** Initializes a BDD factory of the given type with the given initial
       * node table size and operation cache size.  The type is a string that
!      * can be "buddy", "cudd", "cal", "j", "java", "jdd", "test", "typed", or
!      * a name of a class that has an init() method that returns a BDDFactory.
!      * If it fails, it falls back to the "j" factory.
       * 
       * @param bddpackage BDD package string identifier
***************
*** 60,63 ****
--- 60,65 ----
              if (bddpackage.equals("cal"))
                  return CALFactory.init(nodenum, cachesize);
+             if (bddpackage.equals("j"))
+                 return JFactory.init(nodenum, cachesize);
              if (bddpackage.equals("java"))
                  return JavaFactory.init(nodenum, cachesize);
***************
*** 81,85 ****
          catch (InvocationTargetException _) {}
          // falling back to default java implementation.
!         return JavaFactory.init(nodenum, cachesize);
      }
  
--- 83,87 ----
          catch (InvocationTargetException _) {}
          // falling back to default java implementation.
!         return JFactory.init(nodenum, cachesize);
      }