[Javabdd-checkins] JavaBDD buddy_jni.c,1.32,1.33

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

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

Modified Files:
	buddy_jni.c 
Log Message:
Removed old allsat() procedures.

Index: buddy_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy_jni.c,v
retrieving revision 1.32
retrieving revision 1.33
diff -C2 -d -r1.32 -r1.33
*** buddy_jni.c	9 May 2005 09:29:35 -0000	1.32
--- buddy_jni.c	21 May 2005 08:43:21 -0000	1.33
***************
*** 1491,1539 ****
  }
  
- static JNIEnv *allsat_env;
- static jobjectArray allsat_result;
- static int allsat_index;
- static void allsatHandler(char* varset, int size)
- {
-   jbyteArray result = (*allsat_env)->NewByteArray(allsat_env, size);
-   (*allsat_env)->SetByteArrayRegion(allsat_env, result, 0, size, (jbyte*) varset);
-   (*allsat_env)->SetObjectArrayElement(allsat_env, allsat_result, allsat_index, result);
-   (*allsat_env)->DeleteLocalRef(allsat_env, result);
-   allsat_index++;
- }
- 
- /*
-  * Class:     net_sf_javabdd_BuDDyFactory_BuDDyBDD
-  * Method:    allsat0
-  * Signature: (I)[[B
-  */
- JNIEXPORT jobjectArray JNICALL Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDD_allsat0
-   (JNIEnv *env, jclass cl, jint b)
- {
-   jobjectArray result;
-   jclass c;
-   int size;
-   jnienv = env;
-   c = (*env)->FindClass(env, "[B");
- #if defined(TRACE_BUDDYLIB)
-   printf("bdd_varnum()\n");
- #endif
-   size = bdd_varnum();
-   check_error(env);
-   allsat_result = (*env)->NewObjectArray(env, size, c, NULL);
-   if (allsat_result == NULL) return NULL;
-   allsat_env = env;
-   allsat_index = 0;
- #if defined(TRACE_BUDDYLIB)
-   printf("bdd_allsat(%d, %p)\n", b, allsatHandler);
- #endif
-   bdd_allsat(b, allsatHandler);
-   allsat_env = NULL;
-   result = allsat_result;
-   allsat_result = NULL;
-   check_error(env);
-   return result;
- }
- 
  /*
   * Class:     net_sf_javabdd_BuDDyFactory_BuDDyBDD
--- 1491,1494 ----