[Javabdd-checkins] JavaBDD/org/sf/javabdd TryVarOrder.java,1.1,1.2

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

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

Modified Files:
	TryVarOrder.java 
Log Message:
Make it Java 1.4 compatible.

Index: TryVarOrder.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/TryVarOrder.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** TryVarOrder.java	21 Sep 2004 22:32:13 -0000	1.1
--- TryVarOrder.java	29 Sep 2004 06:23:30 -0000	1.2
***************
*** 42,48 ****
              Class c = cl.loadClass("org.sf.javabdd.BDDFactory");
              Method m = c.getMethod("init", new Class[] { String.class, int.class, int.class });
!             bdd = m.invoke(null, new Object[] { s, Integer.valueOf(nodeTableSize), Integer.valueOf(cacheSize) });
              m = c.getMethod("setMaxIncrease", new Class[] { int.class });
!             m.invoke(bdd, new Object[] { Integer.valueOf(maxIncrease) });
              
              BufferedReader in = null;
--- 42,48 ----
              Class c = cl.loadClass("org.sf.javabdd.BDDFactory");
              Method m = c.getMethod("init", new Class[] { String.class, int.class, int.class });
!             bdd = m.invoke(null, new Object[] { s, new Integer(nodeTableSize), new Integer(cacheSize) });
              m = c.getMethod("setMaxIncrease", new Class[] { int.class });
!             m.invoke(bdd, new Object[] { new Integer(maxIncrease) });
              
              BufferedReader in = null;
***************
*** 113,117 ****
          bddoperation = c.newInstance(null);
          Method m = bddop_class.getMethod("setOp", new Class[] { int.class });
!         m.invoke(bddoperation, new Object[] { Integer.valueOf(op.id) });
          m = bddop_class.getMethod("setFilenames", new Class[] { String.class, String.class, String.class });
          m.invoke(bddoperation, new Object[] { filename1, filename2, filename3 });
--- 113,117 ----
          bddoperation = c.newInstance(null);
          Method m = bddop_class.getMethod("setOp", new Class[] { int.class });
!         m.invoke(bddoperation, new Object[] { new Integer(op.id) });
          m = bddop_class.getMethod("setFilenames", new Class[] { String.class, String.class, String.class });
          m.invoke(bddoperation, new Object[] { filename1, filename2, filename3 });