[Javabdd-checkins] JavaBDD buddy_jni.c,1.20,1.21 project.xml,1.12,1.13 javabdd.jardesc,1.4,1.5 cudd_

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

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

Modified Files:
	buddy_jni.c project.xml javabdd.jardesc cudd_jni.c cal_jni.c 
	NQueens.java RubiksCube.java 
Log Message:
Renamed org.sf.javabdd to net.sf.javabdd

Index: cal_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/cal_jni.c,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** cal_jni.c	28 Jul 2004 11:38:08 -0000	1.2
--- cal_jni.c	16 Oct 2004 02:58:57 -0000	1.3
***************
*** 48,56 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    registerNatives
   * Signature: ()V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CALFactory_registerNatives
    (JNIEnv *env, jclass cl)
  {
--- 48,56 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    registerNatives
   * Signature: ()V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CALFactory_registerNatives
    (JNIEnv *env, jclass cl)
  {
***************
*** 58,66 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    initialize0
   * Signature: (II)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CALFactory_initialize0
    (JNIEnv *env, jclass cl, jint numSlots, jint cacheSize)
  {
--- 58,66 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    initialize0
   * Signature: (II)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CALFactory_initialize0
    (JNIEnv *env, jclass cl, jint numSlots, jint cacheSize)
  {
***************
*** 97,105 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    isInitialized0
   * Signature: ()Z
   */
! JNIEXPORT jboolean JNICALL Java_org_sf_javabdd_CALFactory_isInitialized0
    (JNIEnv *env, jclass cl)
  {
--- 97,105 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    isInitialized0
   * Signature: ()Z
   */
! JNIEXPORT jboolean JNICALL Java_net_sf_javabdd_CALFactory_isInitialized0
    (JNIEnv *env, jclass cl)
  {
***************
*** 108,116 ****
    
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    done0
   * Signature: ()V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CALFactory_done0
    (JNIEnv *env, jclass cl)
  {
--- 108,116 ----
    
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    done0
   * Signature: ()V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CALFactory_done0
    (JNIEnv *env, jclass cl)
  {
***************
*** 132,140 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    varNum0
   * Signature: ()I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CALFactory_varNum0
    (JNIEnv *env, jclass cl)
  {
--- 132,140 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    varNum0
   * Signature: ()I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CALFactory_varNum0
    (JNIEnv *env, jclass cl)
  {
***************
*** 143,151 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    setVarNum0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CALFactory_setVarNum0
    (JNIEnv *env, jclass cl, jint x)
  {
--- 143,151 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    setVarNum0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CALFactory_setVarNum0
    (JNIEnv *env, jclass cl, jint x)
  {
***************
*** 159,167 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    ithVar0
   * Signature: (I)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_ithVar0
    (JNIEnv *env, jclass cl, jint i)
  {
--- 159,167 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    ithVar0
   * Signature: (I)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_ithVar0
    (JNIEnv *env, jclass cl, jint i)
  {
***************
*** 174,182 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    level2Var0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CALFactory_level2Var0
    (JNIEnv *env, jclass cl, jint level)
  {
--- 174,182 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    level2Var0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CALFactory_level2Var0
    (JNIEnv *env, jclass cl, jint level)
  {
***************
*** 192,200 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    var2Level0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CALFactory_var2Level0
    (JNIEnv *env, jclass cl, jint v)
  {
--- 192,200 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    var2Level0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CALFactory_var2Level0
    (JNIEnv *env, jclass cl, jint v)
  {
***************
*** 205,213 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory
   * Method:    setVarOrder0
   * Signature: ([I)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CALFactory_setVarOrder0
    (JNIEnv *env, jclass cl, jintArray arr)
  {
--- 205,213 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory
   * Method:    setVarOrder0
   * Signature: ([I)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CALFactory_setVarOrder0
    (JNIEnv *env, jclass cl, jintArray arr)
  {
***************
*** 227,238 ****
  }
  
! /* class org_sf_javabdd_CALFactory_CALBDD */
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    var0
   * Signature: (J)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_var0
    (JNIEnv *env, jclass cl, jlong b)
  {
--- 227,238 ----
  }
  
! /* class net_sf_javabdd_CALFactory_CALBDD */
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    var0
   * Signature: (J)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_var0
    (JNIEnv *env, jclass cl, jlong b)
  {
***************
*** 243,251 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    high0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_high0
    (JNIEnv *env, jclass cl, jlong b)
  {
--- 243,251 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    high0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_high0
    (JNIEnv *env, jclass cl, jlong b)
  {
***************
*** 263,271 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    low0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_low0
    (JNIEnv *env, jclass cl, jlong b)
  {
--- 263,271 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    low0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_low0
    (JNIEnv *env, jclass cl, jlong b)
  {
***************
*** 283,291 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    not0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_not0
    (JNIEnv *env, jclass cl, jlong b)
  {
--- 283,291 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    not0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_not0
    (JNIEnv *env, jclass cl, jlong b)
  {
***************
*** 299,307 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    ite0
   * Signature: (JJJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_ite0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jlong c)
  {
--- 299,307 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    ite0
   * Signature: (JJJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_ite0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jlong c)
  {
***************
*** 320,328 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    relprod0
   * Signature: (JJJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_relprod0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jlong c)
  {
--- 320,328 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    relprod0
   * Signature: (JJJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_relprod0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jlong c)
  {
***************
*** 343,351 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    restrict0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_restrict0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
--- 343,351 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    restrict0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_restrict0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
***************
*** 362,370 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    support0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_support0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 362,370 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    support0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_support0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 379,387 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    apply0
   * Signature: (JJI)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_apply0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jint oper)
  {
--- 379,387 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    apply0
   * Signature: (JJI)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_apply0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jint oper)
  {
***************
*** 444,452 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    satOne0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_satOne0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 444,452 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    satOne0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_satOne0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 461,469 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    nodeCount0
   * Signature: (J)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_nodeCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 461,469 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    nodeCount0
   * Signature: (J)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_nodeCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 474,482 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    pathCount0
   * Signature: (J)D
   */
! JNIEXPORT jdouble JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_pathCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 474,482 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    pathCount0
   * Signature: (J)D
   */
! JNIEXPORT jdouble JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_pathCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 489,497 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    satCount0
   * Signature: (J)D
   */
! JNIEXPORT jdouble JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_satCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 489,497 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    satCount0
   * Signature: (J)D
   */
! JNIEXPORT jdouble JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_satCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 505,513 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    addRef
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_addRef
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 505,513 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    addRef
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_addRef
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 518,526 ****
  
  /*
!  * Class:     org_sf_javabdd_CALFactory_CALBDD
   * Method:    delRef
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CALFactory_00024CALBDD_delRef
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 518,526 ----
  
  /*
!  * Class:     net_sf_javabdd_CALFactory_CALBDD
   * Method:    delRef
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CALFactory_00024CALBDD_delRef
    (JNIEnv *env, jclass cl, jlong a)
  {

Index: project.xml
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/project.xml,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** project.xml	2 Aug 2004 23:21:47 -0000	1.12
--- project.xml	16 Oct 2004 02:58:57 -0000	1.13
***************
*** 12,16 ****
    </organization>
    <inceptionYear>2003</inceptionYear>
!   <package>org.sf.javabdd</package>
  
    <shortDescription>Java Binary Decision Diagram library</shortDescription>
--- 12,16 ----
    </organization>
    <inceptionYear>2003</inceptionYear>
!   <package>net.sf.javabdd</package>
  
    <shortDescription>Java Binary Decision Diagram library</shortDescription>

Index: cudd_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/cudd_jni.c,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** cudd_jni.c	21 Jun 2004 17:42:18 -0000	1.11
--- cudd_jni.c	16 Oct 2004 02:58:57 -0000	1.12
***************
*** 51,59 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    registerNatives
   * Signature: ()V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_registerNatives
    (JNIEnv *env, jclass cl)
  {
--- 51,59 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    registerNatives
   * Signature: ()V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_registerNatives
    (JNIEnv *env, jclass cl)
  {
***************
*** 61,69 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    initialize0
   * Signature: (II)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_initialize0
    (JNIEnv *env, jclass cl, jint numSlots, jint cacheSize)
  {
--- 61,69 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    initialize0
   * Signature: (II)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_initialize0
    (JNIEnv *env, jclass cl, jint numSlots, jint cacheSize)
  {
***************
*** 103,111 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    isInitialized0
   * Signature: ()Z
   */
! JNIEXPORT jboolean JNICALL Java_org_sf_javabdd_CUDDFactory_isInitialized0
    (JNIEnv *env, jclass cl)
  {
--- 103,111 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    isInitialized0
   * Signature: ()Z
   */
! JNIEXPORT jboolean JNICALL Java_net_sf_javabdd_CUDDFactory_isInitialized0
    (JNIEnv *env, jclass cl)
  {
***************
*** 114,122 ****
    
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    done0
   * Signature: ()V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_done0
    (JNIEnv *env, jclass cl)
  {
--- 114,122 ----
    
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    done0
   * Signature: ()V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_done0
    (JNIEnv *env, jclass cl)
  {
***************
*** 138,146 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    varNum0
   * Signature: ()I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CUDDFactory_varNum0
    (JNIEnv *env, jclass cl)
  {
--- 138,146 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    varNum0
   * Signature: ()I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CUDDFactory_varNum0
    (JNIEnv *env, jclass cl)
  {
***************
*** 149,157 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    setVarNum0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CUDDFactory_setVarNum0
    (JNIEnv *env, jclass cl, jint x)
  {
--- 149,157 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    setVarNum0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CUDDFactory_setVarNum0
    (JNIEnv *env, jclass cl, jint x)
  {
***************
*** 162,170 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    ithVar0
   * Signature: (I)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_ithVar0
    (JNIEnv *env, jclass cl, jint i)
  {
--- 162,170 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    ithVar0
   * Signature: (I)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_ithVar0
    (JNIEnv *env, jclass cl, jint i)
  {
***************
*** 178,186 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    level2Var0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CUDDFactory_level2Var0
    (JNIEnv *env, jclass cl, jint level)
  {
--- 178,186 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    level2Var0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CUDDFactory_level2Var0
    (JNIEnv *env, jclass cl, jint level)
  {
***************
*** 190,198 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    var2Level0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CUDDFactory_var2Level0
    (JNIEnv *env, jclass cl, jint v)
  {
--- 190,198 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    var2Level0
   * Signature: (I)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CUDDFactory_var2Level0
    (JNIEnv *env, jclass cl, jint v)
  {
***************
*** 202,210 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    setVarOrder0
   * Signature: ([I)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_setVarOrder0
    (JNIEnv *env, jclass cl, jintArray arr)
  {
--- 202,210 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    setVarOrder0
   * Signature: ([I)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_setVarOrder0
    (JNIEnv *env, jclass cl, jintArray arr)
  {
***************
*** 224,232 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    getAllocNum0
   * Signature: ()I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CUDDFactory_getAllocNum0
    (JNIEnv *env, jclass cl)
  {
--- 224,232 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    getAllocNum0
   * Signature: ()I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CUDDFactory_getAllocNum0
    (JNIEnv *env, jclass cl)
  {
***************
*** 235,243 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory
   * Method:    getNodeNum0
   * Signature: ()I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CUDDFactory_getNodeNum0
    (JNIEnv *env, jclass cl)
  {
--- 235,243 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory
   * Method:    getNodeNum0
   * Signature: ()I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CUDDFactory_getNodeNum0
    (JNIEnv *env, jclass cl)
  {
***************
*** 245,256 ****
  }
  
! /* class org_sf_javabdd_CUDDFactory_CUDDBDD */
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    var0
   * Signature: (J)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_var0
    (JNIEnv *env, jclass cl, jlong b)
  {
--- 245,256 ----
  }
  
! /* class net_sf_javabdd_CUDDFactory_CUDDBDD */
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    var0
   * Signature: (J)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_var0
    (JNIEnv *env, jclass cl, jlong b)
  {
***************
*** 261,269 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    high0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_high0
    (JNIEnv *env, jclass cl, jlong b)
  {
--- 261,269 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    high0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_high0
    (JNIEnv *env, jclass cl, jlong b)
  {
***************
*** 282,290 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    low0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_low0
    (JNIEnv *env, jclass cl, jlong b)
  {
--- 282,290 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    low0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_low0
    (JNIEnv *env, jclass cl, jlong b)
  {
***************
*** 303,311 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    not0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_not0
    (JNIEnv *env, jclass cl, jlong b)
  {
--- 303,311 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    not0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_not0
    (JNIEnv *env, jclass cl, jlong b)
  {
***************
*** 319,327 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    ite0
   * Signature: (JJJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_ite0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jlong c)
  {
--- 319,327 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    ite0
   * Signature: (JJJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_ite0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jlong c)
  {
***************
*** 340,348 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    relprod0
   * Signature: (JJJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_relprod0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jlong c)
  {
--- 340,348 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    relprod0
   * Signature: (JJJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_relprod0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jlong c)
  {
***************
*** 361,369 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    compose0
   * Signature: (JJI)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_compose0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jint i)
  {
--- 361,369 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    compose0
   * Signature: (JJI)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_compose0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jint i)
  {
***************
*** 380,388 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    exist0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_exist0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
--- 380,388 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    exist0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_exist0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
***************
*** 399,407 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    forAll0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_forAll0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
--- 399,407 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    forAll0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_forAll0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
***************
*** 418,426 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    restrict0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_restrict0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
--- 418,426 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    restrict0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_restrict0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
***************
*** 437,445 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    support0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_support0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 437,445 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    support0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_support0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 454,462 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    apply0
   * Signature: (JJI)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_apply0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jint oper)
  {
--- 454,462 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    apply0
   * Signature: (JJI)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_apply0
    (JNIEnv *env, jclass cl, jlong a, jlong b, jint oper)
  {
***************
*** 578,586 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    satOne0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_satOne0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 578,586 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    satOne0
   * Signature: (J)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_satOne0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 601,609 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    nodeCount0
   * Signature: (J)I
   */
! JNIEXPORT jint JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_nodeCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 601,609 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    nodeCount0
   * Signature: (J)I
   */
! JNIEXPORT jint JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_nodeCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 614,622 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    pathCount0
   * Signature: (J)D
   */
! JNIEXPORT jdouble JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_pathCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 614,622 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    pathCount0
   * Signature: (J)D
   */
! JNIEXPORT jdouble JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_pathCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 627,635 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    satCount0
   * Signature: (J)D
   */
! JNIEXPORT jdouble JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_satCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 627,635 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    satCount0
   * Signature: (J)D
   */
! JNIEXPORT jdouble JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_satCount0
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 640,648 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    addRef
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_addRef
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 640,648 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    addRef
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_addRef
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 653,661 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    delRef
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_delRef
    (JNIEnv *env, jclass cl, jlong a)
  {
--- 653,661 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    delRef
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_delRef
    (JNIEnv *env, jclass cl, jlong a)
  {
***************
*** 668,676 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    veccompose0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_veccompose0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
--- 668,676 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    veccompose0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_veccompose0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
***************
*** 687,695 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    replace0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDD_replace0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
--- 687,695 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDD
   * Method:    replace0
   * Signature: (JJ)J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDD_replace0
    (JNIEnv *env, jclass cl, jlong a, jlong b)
  {
***************
*** 717,728 ****
  }
  
! /* class org_sf_javabdd_CUDDFactory_CUDDBDDPairing */
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    alloc
   * Signature: ()J
   */
! JNIEXPORT jlong JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_alloc
    (JNIEnv *env, jclass cl)
  {
--- 717,728 ----
  }
  
! /* class net_sf_javabdd_CUDDFactory_CUDDBDDPairing */
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    alloc
   * Signature: ()J
   */
! JNIEXPORT jlong JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_alloc
    (JNIEnv *env, jclass cl)
  {
***************
*** 740,748 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    set0
   * Signature: (JII)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_set0
    (JNIEnv *env, jclass cl, jlong p, jint var, jint b)
  {
--- 740,748 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    set0
   * Signature: (JII)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_set0
    (JNIEnv *env, jclass cl, jlong p, jint var, jint b)
  {
***************
*** 757,765 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    set2
   * Signature: (JIJ)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_set2
    (JNIEnv *env, jclass cl, jlong p, jint var, jlong b)
  {
--- 757,765 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    set2
   * Signature: (JIJ)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_set2
    (JNIEnv *env, jclass cl, jlong p, jint var, jlong b)
  {
***************
*** 774,782 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    reset0
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_reset0
    (JNIEnv *env, jclass cl, jlong p)
  {
--- 774,782 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    reset0
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_reset0
    (JNIEnv *env, jclass cl, jlong p)
  {
***************
*** 794,802 ****
  
  /*
!  * Class:     org_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    free0
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_free0
    (JNIEnv *env, jclass cl, jlong p)
  {
--- 794,802 ----
  
  /*
!  * Class:     net_sf_javabdd_CUDDFactory_CUDDBDDPairing
   * Method:    free0
   * Signature: (J)V
   */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_CUDDFactory_00024CUDDBDDPairing_free0
    (JNIEnv *env, jclass cl, jlong p)
  {

Index: buddy_jni.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy_jni.c,v
retrieving revision 1.20
retrieving revision 1.21
diff -C2 -d -r1.20 -r1.21
*** buddy_jni.c	12 Oct 2004 20:43:42 -0000	1.20
--- buddy_jni.c	16 Oct 2004 02:58:57 -0000	1.21
***************
*** 74,78 ****
    case BVEC_SIZE:    /* Mismatch in bitvector size */
    case BVEC_DIVZERO: /* Division by zero */
!     clsname = "org/sf/javabdd/BDDException";
      break;
    case BDD_FILE:     /* Some file operation failed */
--- 74,78 ----
    case BVEC_SIZE:    /* Mismatch in bitvector size */
    case BVEC_DIVZERO: /* Division by zero */
!     clsname = "net/sf/javabdd/BDDException";
      break;
[...1958 lines suppressed...]
  
! /*
!  * Class:     org_sf_javabdd_BuDDyFactory_BuDDyBDDPairing
!  * Method:    free0
!  * Signature: (J)V
!  */
! JNIEXPORT void JNICALL Java_org_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_free0
    (JNIEnv *env, jclass cl, jlong pair)
  {
--- 1634,1643 ----
  }
  
! /*
!  * Class:     net_sf_javabdd_BuDDyFactory_BuDDyBDDPairing
!  * Method:    free0
!  * Signature: (J)V
!  */
! JNIEXPORT void JNICALL Java_net_sf_javabdd_BuDDyFactory_00024BuDDyBDDPairing_free0
    (JNIEnv *env, jclass cl, jlong pair)
  {

Index: NQueens.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/NQueens.java,v
retrieving revision 1.14
retrieving revision 1.15
diff -C2 -d -r1.14 -r1.15
*** NQueens.java	28 Jul 2004 09:19:29 -0000	1.14
--- NQueens.java	16 Oct 2004 02:58:57 -0000	1.15
***************
*** 1,3 ****
! import org.sf.javabdd.*;
  
  /**
--- 1,3 ----
! import net.sf.javabdd.*;
  
  /**

Index: RubiksCube.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/RubiksCube.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** RubiksCube.java	31 Oct 2003 07:56:17 -0000	1.4
--- RubiksCube.java	16 Oct 2004 02:58:57 -0000	1.5
***************
*** 1,5 ****
! /*
!  * Created on Sep 10, 2003
!  */
  
  import java.util.ArrayList;
--- 1,5 ----
! // RubiksCube.java, created Jan 29, 2003 9:50:57 PM by jwhaley
! // Copyright (C) 2003 John Whaley
! // Licensed under the terms of the GNU LGPL; see COPYING for details.
  
  import java.util.ArrayList;
***************
*** 9,18 ****
  import java.util.List;
  
! import org.sf.javabdd.BDD;
! import org.sf.javabdd.BDDDomain;
! import org.sf.javabdd.BDDFactory;
! import org.sf.javabdd.BDDPairing;
  
  /**
   * @author jwhaley
   */
--- 9,20 ----
  import java.util.List;
  
! import net.sf.javabdd.BDD;
! import net.sf.javabdd.BDDDomain;
! import net.sf.javabdd.BDDFactory;
! import net.sf.javabdd.BDDPairing;
  
  /**
+  * RubiksCube
+  * 
   * @author jwhaley
   */
***************
*** 221,225 ****
      static void p(BDD b, int d) {
          BDDDomain dom = bdd.getDomain(d);
!         int v = (int) b.scanVar(dom);
          String s = Integer.toString(v);
          s = "   ".substring(s.length())+s;
--- 223,227 ----
      static void p(BDD b, int d) {
          BDDDomain dom = bdd.getDomain(d);
!         int v = b.scanVar(dom).intValue();
          String s = Integer.toString(v);
          s = "   ".substring(s.length())+s;

Index: javabdd.jardesc
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/javabdd.jardesc,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** javabdd.jardesc	27 Aug 2004 01:02:35 -0000	1.4
--- javabdd.jardesc	16 Oct 2004 02:58:57 -0000	1.5
***************
*** 10,14 ****
  </manifest>
  <selectedElements exportClassFiles="true" exportJavaFiles="false" exportOutputFolder="false">
! <javaElement handleIdentifier="=JavaBDD/&lt;org.sf.javabdd"/>
  <javaElement handleIdentifier="=JavaBDD/&lt;"/>
  </selectedElements>
--- 10,14 ----
  </manifest>
  <selectedElements exportClassFiles="true" exportJavaFiles="false" exportOutputFolder="false">
! <javaElement handleIdentifier="=JavaBDD/&lt;net.sf.javabdd"/>
  <javaElement handleIdentifier="=JavaBDD/&lt;"/>
  </selectedElements>

[Javabdd-checkins] JavaBDD buddy_jni.c,1.20,1.21 project.xml,1.12,1.13 javabdd.jardesc,1.4,1.5 cudd_

[Javabdd-checkins] JavaBDD buddy_jni.c,1.20,1.21 project.xml,1.12,1.13 javabdd.jardesc,1.4,1.5 cudd_jni.c,1.11,1.12 cal_jni.c,1.2,1.3 NQueens.java,1.14,1.15 RubiksCube.java,1.4,1.5