[Javabdd-checkins] JavaBDD/org/sf/javabdd BDDFactory.java,1.22,1.23
Brought to you by:
joewhaley
|
From: John W. <joe...@us...> - 2004-07-20 21:50:33
|
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); } |