Update of /cvsroot/javabdd/JavaBDD
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv15724
Modified Files:
buddy_jni.c
Log Message:
Support for dynamic resizing domains.
Index: buddy_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy_jni.c,v
retrieving revision 1.29
retrieving revision 1.30
diff -C2 -d -r1.29 -r1.30
*** buddy_jni.c 15 Mar 2005 09:22:13 -0000 1.29
--- buddy_jni.c 8 Apr 2005 05:27:52 -0000 1.30
***************
*** 42,46 ****
printf("bdd_errstring(%d)\n", errcode);
#endif
! printf("BuDDy error: %s\n", bdd_errstring(errcode));
bdd_error = errcode;
#if defined(TRACE_BUDDYLIB)
--- 42,46 ----
printf("bdd_errstring(%d)\n", errcode);
#endif
! //printf("BuDDy error: %s\n", bdd_errstring(errcode));
bdd_error = errcode;
#if defined(TRACE_BUDDYLIB)
***************
*** 511,514 ****
--- 511,532 ----
/*
* Class: net_sf_javabdd_BuDDyFactory
+ * Method: duplicateVar0
+ * Signature: (I)I
+ */
+ JNIEXPORT jint JNICALL Java_net_sf_javabdd_BuDDyFactory_duplicateVar0
+ (JNIEnv *env, jclass cl, jint var)
+ {
+ int result;
+ jnienv = env;
+ #if defined(TRACE_BUDDYLIB)
+ printf("bdd_duplicatevar(%d)\n", var);
+ #endif
+ result = bdd_duplicatevar(var);
+ check_error(env);
+ return result;
+ }
+
+ /*
+ * Class: net_sf_javabdd_BuDDyFactory
* Method: extVarNum0
* Signature: (I)I
|
