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
|
