[Javabdd-checkins] JavaBDD buddy_jni.c,1.28,1.29

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

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

Modified Files:
	buddy_jni.c 
Log Message:
Added setIncreaseFactor()


Index: buddy_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy_jni.c,v
retrieving revision 1.28
retrieving revision 1.29
diff -C2 -d -r1.28 -r1.29
*** buddy_jni.c	31 Jan 2005 12:17:46 -0000	1.28
--- buddy_jni.c	15 Mar 2005 09:22:13 -0000	1.29
***************
*** 439,442 ****
--- 439,460 ----
  /*
   * Class:     net_sf_javabdd_BuDDyFactory
+  * Method:    setIncreaseFactor0
+  * Signature: (D)D
+  */
+ JNIEXPORT jdouble JNICALL Java_net_sf_javabdd_BuDDyFactory_setIncreaseFactor0
+   (JNIEnv *env, jclass cl, jdouble r)
+ {
+   jdouble result;
+   jnienv = env;
+ #if defined(TRACE_BUDDYLIB)
+   printf("bdd_setincreasefactor(%lf)\n", r);
+ #endif
+   result = bdd_setincreasefactor(r);
+   check_error(env);
+   return result;
+ }
+ 
+ /*
+  * Class:     net_sf_javabdd_BuDDyFactory
   * Method:    setCacheRatio0
   * Signature: (I)I