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

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

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