main page modules namespaces classes files
Gecode/J home

GecodeJNI.java

Go to the documentation of this file.

/* ----------------------------------------------------------------------------
 * This file was automatically generated by SWIG (http://www.swig.org).
 * Version 1.3.29
 *
 * Do not make changes to this file unless you know what you are doing--modify
 * the SWIG interface file instead.
 * ----------------------------------------------------------------------------- */

package org.gecode;

class GecodeJNI {

  static { 
    try {
      System.loadLibrary("gecodejava");
    } catch (UnsatisfiedLinkError e) {
      System.err.println("Gecode native code library failed to load.\n" + e);
      System.exit(1);
    }
  }

  // This is a workaround for a bug (or feature?) in swig:
  // The wrapper tries to call this method, but only generates a method
  // that takes a JavaSpace as its second argument.
  public static void SwigDirector_JavaSpace_constrain_internal(JavaSpace self,
                                                               Object oldSol) {
    self.constrain_internal((JavaSpace) oldSol); 
  }
  public static ExecStatus SwigDirector_JavaPropagator_propagate_internal(JavaPropagator self, Object homeSpace) {
    return self.propagate_internal((JavaSpace) homeSpace);
}
public static ExecStatus SwigDirector_JavaPropagator_setup_internal(JavaPropagator self, Object homeSpace) {
    return self.setup_internal((JavaSpace) homeSpace);
}
  public static long SwigDirector_JavaPropagator_copy_internal(JavaPropagator self, Object homeSpace, boolean share) {
    return JavaPropagator.getCPtr(self.copy_internal((JavaSpace)homeSpace, share));
}
public static boolean SwigDirector_JavaBranching_status_internal(JavaBranching self, Object homeSpace) {
    return self.status_internal((JavaSpace) homeSpace);
}
public static ExecStatus SwigDirector_JavaBranching_commit_internal(JavaBranching self, Object homeSpace, JavaBranchingDesc desc, long a) {
    return self.commit_internal((JavaSpace) homeSpace, desc, a);
}
public static long SwigDirector_JavaBranching_copy_internal(JavaBranching self, Object homeSpace, boolean share) {
    return JavaBranching.getCPtr(self.copy_internal((JavaSpace) homeSpace, share));
}


  
  public final static native long new_SpaceFailed(String jarg1);
  public final static native void delete_SpaceFailed(long jarg1);
  public final static native long new_NotAssigned__SWIG_0(String jarg1);
  public final static native long new_NotAssigned__SWIG_1();
  public final static native void delete_NotAssigned(long jarg1);
  public final static native long new_JavaSpace__SWIG_0();
  public final static native long new_JavaSpace__SWIG_1(boolean jarg1, long jarg2);
  public final static native void delete_JavaSpace(long jarg1);
  public final static native JavaSpace JavaSpace_copy_internal(long jarg1, boolean jarg2);
  public final static native void JavaSpace_constrain_internal(long jarg1, JavaSpace jarg2);
  public final static native boolean JavaSpace_failed(long jarg1);
  public final static native JavaSpace JavaSpace_cloneSpace(long jarg1);
  public final static native void JavaSpace_commit(long jarg1, long jarg2, long jarg3);
  public final static native int JavaSpace_status__SWIG_0(long jarg1, long[] jarg2);
  public final static native int JavaSpace_status__SWIG_1(long jarg1);
  public final static native long JavaSpace_description(long jarg1);
  public final static native void JavaSpace_director_connect(JavaSpace obj, long cptr, boolean mem_own, boolean weak_global);
  public final static native void JavaSpace_change_ownership(JavaSpace obj, long cptr, boolean take_or_release);
  public final static native long new_IntSet__SWIG_0(int jarg1, int jarg2);
  public final static native long new_IntSet__SWIG_1(int[] jarg1);
  public final static native long new_IntSet__SWIG_2(int[] jarg1);
  public final static native void delete_IntSet(long jarg1);
  public final static native int BranchingDesc_alternatives(long jarg1);
  public final static native void delete_BranchingDesc(long jarg1);
  public final static native long new_JavaBranchingDesc(int jarg1, int jarg2);
  public final static native int JavaBranchingDesc_pos(long jarg1);
  public final static native int JavaBranchingDesc_val(long jarg1);
  public final static native void delete_JavaBranchingDesc(long jarg1);
  public final static native long new_IntVar__SWIG_0(long jarg1, long jarg2);
  public final static native long new_IntVar__SWIG_1(long jarg1, String jarg2, long jarg3);
  public final static native long new_IntVar__SWIG_2(long jarg1, int jarg2, int jarg3);
  public final static native long new_IntVar__SWIG_3(long jarg1, String jarg2, int jarg3, int jarg4);
  public final static native long IntVar_copy(long jarg1, long jarg2, boolean jarg3);
  public final static native int IntVar_min(long jarg1);
  public final static native int IntVar_max(long jarg1);
  public final static native int IntVar_val(long jarg1);
  public final static native boolean IntVar_in(long jarg1, int jarg2);
  public final static native boolean IntVar_assigned(long jarg1);
  public final static native String IntVar_toString(long jarg1);
  public final static native String IntVar_getName(long jarg1);
  public final static native void delete_IntVar(long jarg1);
  public final static native long new_BoolVar__SWIG_0(long jarg1);
  public final static native long new_BoolVar__SWIG_1(long jarg1, boolean jarg2);
  public final static native long new_BoolVar__SWIG_2(long jarg1, String jarg2);
  public final static native long new_BoolVar__SWIG_3(long jarg1, String jarg2, boolean jarg3);
  public final static native void delete_BoolVar(long jarg1);
  public final static native long new_SetVar__SWIG_0(long jarg1, long jarg2, long jarg3);
  public final static native long new_SetVar__SWIG_1(long jarg1, String jarg2, long jarg3, long jarg4);
  public final static native long new_SetVar__SWIG_2(long jarg1);
  public final static native long new_SetVar__SWIG_3(long jarg1, String jarg2);
  public final static native long SetVar_copy(long jarg1, long jarg2, boolean jarg3);
  public final static native String SetVar_toString(long jarg1);
  public final static native String SetVar_getName(long jarg1);
  public final static native boolean SetVar_assigned(long jarg1);
  public final static native int SetVar_glbSize(long jarg1);
  public final static native int SetVar_lubSize(long jarg1);
  public final static native int SetVar_unknownSize(long jarg1);
  public final static native boolean SetVar_contains(long jarg1, int jarg2);
  public final static native boolean SetVar_notContains(long jarg1, int jarg2);
  public final static native int SetVar_cardMin(long jarg1);
  public final static native int SetVar_cardMax(long jarg1);
  public final static native int SetVar_lubMin(long jarg1);
  public final static native int SetVar_lubMax(long jarg1);
  public final static native int SetVar_glbMin(long jarg1);
  public final static native int SetVar_glbMax(long jarg1);
  public final static native void delete_SetVar(long jarg1);
  public final static native long new_SetVarLubRanges(long jarg1);
  public final static native boolean SetVarLubRanges_notDone(long jarg1);
  public final static native void SetVarLubRanges_next(long jarg1);
  public final static native int SetVarLubRanges_min(long jarg1);
  public final static native int SetVarLubRanges_max(long jarg1);
  public final static native long SetVarLubRanges_width(long jarg1);
  public final static native void delete_SetVarLubRanges(long jarg1);
  public final static native long new_SetVarGlbRanges(long jarg1);
  public final static native boolean SetVarGlbRanges_notDone(long jarg1);
  public final static native void SetVarGlbRanges_next(long jarg1);
  public final static native int SetVarGlbRanges_min(long jarg1);
  public final static native int SetVarGlbRanges_max(long jarg1);
  public final static native long SetVarGlbRanges_width(long jarg1);
  public final static native void delete_SetVarGlbRanges(long jarg1);
  public final static native long new_SetViewLubRanges(long jarg1);
  public final static native boolean SetViewLubRanges_notDone(long jarg1);
  public final static native void SetViewLubRanges_next(long jarg1);
  public final static native int SetViewLubRanges_min(long jarg1);
  public final static native int SetViewLubRanges_max(long jarg1);
  public final static native long SetViewLubRanges_width(long jarg1);
  public final static native void delete_SetViewLubRanges(long jarg1);
  public final static native long new_SetViewGlbRanges(long jarg1);
  public final static native boolean SetViewGlbRanges_notDone(long jarg1);
  public final static native void SetViewGlbRanges_next(long jarg1);
  public final static native int SetViewGlbRanges_min(long jarg1);
  public final static native int SetViewGlbRanges_max(long jarg1);
  public final static native long SetViewGlbRanges_width(long jarg1);
  public final static native void delete_SetViewGlbRanges(long jarg1);
  public final static native long new_IntVarRanges(long jarg1);
  public final static native boolean IntVarRanges_notDone(long jarg1);
  public final static native void IntVarRanges_next(long jarg1);
  public final static native int IntVarRanges_min(long jarg1);
  public final static native int IntVarRanges_max(long jarg1);
  public final static native long IntVarRanges_width(long jarg1);
  public final static native void delete_IntVarRanges(long jarg1);
  public final static native long new_IntViewRanges(long jarg1);
  public final static native boolean IntViewRanges_notDone(long jarg1);
  public final static native void IntViewRanges_next(long jarg1);
  public final static native int IntViewRanges_min(long jarg1);
  public final static native int IntViewRanges_max(long jarg1);
  public final static native long IntViewRanges_width(long jarg1);
  public final static native void delete_IntViewRanges(long jarg1);
  public final static native long default_c_d_get();
  public final static native long default_a_d_get();
  public final static native void Statistics_propagate_set(long jarg1, long jarg2);
  public final static native long Statistics_propagate_get(long jarg1);
  public final static native void Statistics_fail_set(long jarg1, long jarg2);
  public final static native long Statistics_fail_get(long jarg1);
  public final static native void Statistics_clone_set(long jarg1, long jarg2);
  public final static native long Statistics_clone_get(long jarg1);
  public final static native void Statistics_commit_set(long jarg1, long jarg2);
  public final static native long Statistics_commit_get(long jarg1);
  public final static native void Statistics_memory_set(long jarg1, long jarg2);
  public final static native long Statistics_memory_get(long jarg1);
  public final static native long new_Statistics();
  public final static native void delete_Statistics(long jarg1);
  public final static native long new_Stop();
  public final static native boolean Stop_stop(long jarg1, long jarg2);
  public final static native void delete_Stop(long jarg1);
  public final static native void Stop_director_connect(Stop obj, long cptr, boolean mem_own, boolean weak_global);
  public final static native void Stop_change_ownership(Stop obj, long cptr, boolean take_or_release);
  public final static native long new_MemoryStop(long jarg1);
  public final static native long MemoryStop_limit__SWIG_0(long jarg1);
  public final static native void MemoryStop_limit__SWIG_1(long jarg1, long jarg2);
  public final static native boolean MemoryStop_stop(long jarg1, long jarg2);
  public final static native void delete_MemoryStop(long jarg1);
  public final static native void MemoryStop_director_connect(MemoryStop obj, long cptr, boolean mem_own, boolean weak_global);
  public final static native void MemoryStop_change_ownership(MemoryStop obj, long cptr, boolean take_or_release);
  public final static native long new_FailStop(long jarg1);
  public final static native long FailStop_limit__SWIG_0(long jarg1);
  public final static native void FailStop_limit__SWIG_1(long jarg1, long jarg2);
  public final static native boolean FailStop_stop(long jarg1, long jarg2);
  public final static native void delete_FailStop(long jarg1);
  public final static native void FailStop_director_connect(FailStop obj, long cptr, boolean mem_own, boolean weak_global);
  public final static native void FailStop_change_ownership(FailStop obj, long cptr, boolean take_or_release);
  public final static native long new_TimeStop(long jarg1);
  public final static native long TimeStop_limit__SWIG_0(long jarg1);
  public final static native void TimeStop_limit__SWIG_1(long jarg1, long jarg2);
  public final static native void TimeStop_reset(long jarg1);
  public final static native boolean TimeStop_stop(long jarg1, long jarg2);
  public final static native void delete_TimeStop(long jarg1);
  public final static native void TimeStop_director_connect(TimeStop obj, long cptr, boolean mem_own, boolean weak_global);
  public final static native void TimeStop_change_ownership(TimeStop obj, long cptr, boolean take_or_release);
  public final static native long new_DFSSearch__SWIG_0(long jarg1, int jarg2, int jarg3, long jarg4);
  public final static native long new_DFSSearch__SWIG_1(long jarg1, int jarg2, int jarg3);
  public final static native long new_DFSSearch__SWIG_2(long jarg1, int jarg2);
  public final static native long new_DFSSearch__SWIG_3(long jarg1);
  public final static native JavaSpace DFSSearch_next_internal(long jarg1);
  public final static native long DFSSearch_statistics(long jarg1);
  public final static native void delete_DFSSearch(long jarg1);
  public final static native long new_BABSearch__SWIG_0(long jarg1, int jarg2, int jarg3, long jarg4);
  public final static native long new_BABSearch__SWIG_1(long jarg1, int jarg2, int jarg3);
  public final static native long new_BABSearch__SWIG_2(long jarg1, int jarg2);
  public final static native long new_BABSearch__SWIG_3(long jarg1);
  public final static native JavaSpace BABSearch_next_internal(long jarg1);
  public final static native long BABSearch_statistics(long jarg1);
  public final static native void delete_BABSearch(long jarg1);
  public final static native long new_IntVarView(long jarg1, long jarg2);
  public final static native long IntVarView_copy(long jarg1, long jarg2, boolean jarg3);
  public final static native void IntVarView_subscribe_internal(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native void IntVarView_cancel_internal(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native int IntVarView_min(long jarg1);
  public final static native int IntVarView_max(long jarg1);
  public final static native int IntVarView_val(long jarg1);
  public final static native boolean IntVarView_assigned(long jarg1);
  public final static native boolean IntVarView_in(long jarg1, int jarg2);
  public final static native int IntVarView_lq(long jarg1, long jarg2, int jarg3);
  public final static native int IntVarView_gq(long jarg1, long jarg2, int jarg3);
  public final static native int IntVarView_nq(long jarg1, long jarg2, int jarg3);
  public final static native int IntVarView_eq(long jarg1, long jarg2, int jarg3);
  public final static native int IntVarView_inter(long jarg1, long jarg2, IntSet jarg3);
  public final static native void delete_IntVarView(long jarg1);
  public final static native long new_SetVarView(long jarg1, long jarg2);
  public final static native long SetVarView_copy(long jarg1, long jarg2, boolean jarg3);
  public final static native void SetVarView_subscribe_internal(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native void SetVarView_cancel_internal(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native boolean SetVarView_assigned(long jarg1);
  public final static native long SetVarView_cardMin__SWIG_0(long jarg1);
  public final static native long SetVarView_cardMax__SWIG_0(long jarg1);
  public final static native int SetVarView_lubMin(long jarg1);
  public final static native int SetVarView_lubMax(long jarg1);
  public final static native int SetVarView_lubMinN(long jarg1, int jarg2);
  public final static native int SetVarView_lubMaxN(long jarg1, int jarg2);
  public final static native int SetVarView_glbMin(long jarg1);
  public final static native int SetVarView_glbMax(long jarg1);
  public final static native long SetVarView_glbSize(long jarg1);
  public final static native long SetVarView_lubSize(long jarg1);
  public final static native long SetVarView_unknownSize(long jarg1);
  public final static native boolean SetVarView_contains(long jarg1, int jarg2);
  public final static native boolean SetVarView_notContains(long jarg1, int jarg2);
  public final static native int SetVarView_cardMin__SWIG_1(long jarg1, long jarg2, long jarg3);
  public final static native int SetVarView_cardMax__SWIG_1(long jarg1, long jarg2, long jarg3);
  public final static native int SetVarView_include__SWIG_0(long jarg1, long jarg2, int jarg3, int jarg4);
  public final static native int SetVarView_exclude__SWIG_0(long jarg1, long jarg2, int jarg3, int jarg4);
  public final static native int SetVarView_include__SWIG_1(long jarg1, long jarg2, int jarg3);
  public final static native int SetVarView_exclude__SWIG_1(long jarg1, long jarg2, int jarg3);
  public final static native int SetVarView_intersect__SWIG_0(long jarg1, long jarg2, int jarg3, int jarg4);
  public final static native int SetVarView_intersect__SWIG_1(long jarg1, long jarg2, int jarg3);
  public final static native int SetVarView_exclude__SWIG_2(long jarg1, long jarg2, IntSet jarg3);
  public final static native int SetVarView_include__SWIG_2(long jarg1, long jarg2, IntSet jarg3);
  public final static native int SetVarView_intersect__SWIG_2(long jarg1, long jarg2, IntSet jarg3);
  public final static native void delete_SetVarView(long jarg1);
  public final static native long new_JavaPropagator();
  public final static native void delete_JavaPropagator(long jarg1);
  public final static native void JavaPropagator_dispose_internal(long jarg1, long jarg2);
  public final static native long JavaPropagator_copy_internal(long jarg1, long jarg2, boolean jarg3);
  public final static native int JavaPropagator_propagate_internal(long jarg1, long jarg2);
  public final static native int JavaPropagator_cost_internal(long jarg1);
  public final static native int JavaPropagator_setup_internal(long jarg1, long jarg2);
  public final static native void JavaPropagator_director_connect(JavaPropagator obj, long cptr, boolean mem_own, boolean weak_global);
  public final static native void JavaPropagator_change_ownership(JavaPropagator obj, long cptr, boolean take_or_release);
  public final static native void addPropagator(long jarg1, long jarg2);
  public final static native long new_JavaBranching();
  public final static native void delete_JavaBranching(long jarg1);
  public final static native void JavaBranching_dispose_internal(long jarg1, long jarg2);
  public final static native long JavaBranching_copy_internal(long jarg1, long jarg2, boolean jarg3);
  public final static native boolean JavaBranching_status_internal(long jarg1, long jarg2);
  public final static native int JavaBranching_commit_internal(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native long JavaBranching_description_internal(long jarg1, long jarg2);
  public final static native void JavaBranching_director_connect(JavaBranching obj, long cptr, boolean mem_own, boolean weak_global);
  public final static native void JavaBranching_change_ownership(JavaBranching obj, long cptr, boolean take_or_release);
  public final static native void addBranching(long jarg1, long jarg2);
  public final static native void dom__SWIG_0(long jarg1, long jarg2, int jarg3, int jarg4, int jarg5);
  public final static native void dom__SWIG_1(long jarg1, long jarg2, int jarg3, int jarg4);
  public final static native void dom__SWIG_2(long jarg1, long[] jarg2, int jarg3, int jarg4, int jarg5);
  public final static native void dom__SWIG_3(long jarg1, long[] jarg2, int jarg3, int jarg4);
  public final static native void dom__SWIG_4(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native void dom__SWIG_5(long jarg1, long jarg2, long jarg3);
  public final static native void dom__SWIG_6(long jarg1, long[] jarg2, long jarg3, int jarg4);
  public final static native void dom__SWIG_7(long jarg1, long[] jarg2, long jarg3);
  public final static native void dom__SWIG_8(long jarg1, long jarg2, int jarg3, int jarg4, long jarg5, int jarg6);
  public final static native void dom__SWIG_9(long jarg1, long jarg2, int jarg3, int jarg4, long jarg5);
  public final static native void dom__SWIG_10(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void dom__SWIG_11(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void rel__SWIG_0(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5);
  public final static native void rel__SWIG_1(long jarg1, long jarg2, int jarg3, long jarg4);
  public final static native void rel__SWIG_2(long jarg1, long jarg2, int jarg3, int jarg4, int jarg5);
  public final static native void rel__SWIG_3(long jarg1, long jarg2, int jarg3, int jarg4);
  public final static native void rel__SWIG_4(long jarg1, long jarg2, int jarg3, long jarg4, long jarg5, int jarg6);
  public final static native void rel__SWIG_5(long jarg1, long jarg2, int jarg3, long jarg4, long jarg5);
  public final static native void rel__SWIG_6(long jarg1, long jarg2, int jarg3, int jarg4, long jarg5, int jarg6);
  public final static native void rel__SWIG_7(long jarg1, long jarg2, int jarg3, int jarg4, long jarg5);
  public final static native void rel__SWIG_8(long jarg1, long[] jarg2, int jarg3, long[] jarg4, int jarg5);
  public final static native void rel__SWIG_9(long jarg1, long[] jarg2, int jarg3, long[] jarg4);
  public final static native void eq__SWIG_0(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native void eq__SWIG_1(long jarg1, long jarg2, long jarg3);
  public final static native void eq__SWIG_2(long jarg1, long jarg2, int jarg3, int jarg4);
  public final static native void eq__SWIG_3(long jarg1, long jarg2, int jarg3);
  public final static native void eq__SWIG_4(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void eq__SWIG_5(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void eq__SWIG_6(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5);
  public final static native void eq__SWIG_7(long jarg1, long jarg2, int jarg3, long jarg4);
  public final static native void eq__SWIG_8(long jarg1, long[] jarg2, int jarg3);
  public final static native void eq__SWIG_9(long jarg1, long[] jarg2);
  public final static native void element__SWIG_0(long jarg1, int[] jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void element__SWIG_1(long jarg1, int[] jarg2, long jarg3, long jarg4);
  public final static native void element__SWIG_2(long jarg1, long[] jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void element__SWIG_3(long jarg1, long[] jarg2, long jarg3, long jarg4);
  public final static native void distinct__SWIG_0(long jarg1, long[] jarg2, int jarg3);
  public final static native void distinct__SWIG_1(long jarg1, long[] jarg2);
  public final static native void distinct__SWIG_2(long jarg1, int[] jarg2, long[] jarg3, int jarg4);
  public final static native void distinct__SWIG_3(long jarg1, int[] jarg2, long[] jarg3);
  public final static native void channel__SWIG_0(long jarg1, long[] jarg2, long[] jarg3, int jarg4);
  public final static native void channel__SWIG_1(long jarg1, long[] jarg2, long[] jarg3);
  public final static native void cumulatives__SWIG_0(long jarg1, long[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5, long[] jarg6, int[] jarg7, boolean jarg8, int jarg9);
  public final static native void cumulatives__SWIG_1(long jarg1, long[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5, long[] jarg6, int[] jarg7, boolean jarg8);
  public final static native void cumulatives__SWIG_2(long jarg1, int[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5, long[] jarg6, int[] jarg7, boolean jarg8, int jarg9);
  public final static native void cumulatives__SWIG_3(long jarg1, int[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5, long[] jarg6, int[] jarg7, boolean jarg8);
  public final static native void cumulatives__SWIG_4(long jarg1, long[] jarg2, long[] jarg3, int[] jarg4, long[] jarg5, long[] jarg6, int[] jarg7, boolean jarg8, int jarg9);
  public final static native void cumulatives__SWIG_5(long jarg1, long[] jarg2, long[] jarg3, int[] jarg4, long[] jarg5, long[] jarg6, int[] jarg7, boolean jarg8);
  public final static native void cumulatives__SWIG_6(long jarg1, int[] jarg2, long[] jarg3, int[] jarg4, long[] jarg5, long[] jarg6, int[] jarg7, boolean jarg8, int jarg9);
  public final static native void cumulatives__SWIG_7(long jarg1, int[] jarg2, long[] jarg3, int[] jarg4, long[] jarg5, long[] jarg6, int[] jarg7, boolean jarg8);
  public final static native void cumulatives__SWIG_8(long jarg1, long[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5, int[] jarg6, int[] jarg7, boolean jarg8, int jarg9);
  public final static native void cumulatives__SWIG_9(long jarg1, long[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5, int[] jarg6, int[] jarg7, boolean jarg8);
  public final static native void cumulatives__SWIG_10(long jarg1, int[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5, int[] jarg6, int[] jarg7, boolean jarg8, int jarg9);
  public final static native void cumulatives__SWIG_11(long jarg1, int[] jarg2, long[] jarg3, long[] jarg4, long[] jarg5, int[] jarg6, int[] jarg7, boolean jarg8);
  public final static native void cumulatives__SWIG_12(long jarg1, long[] jarg2, long[] jarg3, int[] jarg4, long[] jarg5, int[] jarg6, int[] jarg7, boolean jarg8, int jarg9);
  public final static native void cumulatives__SWIG_13(long jarg1, long[] jarg2, long[] jarg3, int[] jarg4, long[] jarg5, int[] jarg6, int[] jarg7, boolean jarg8);
  public final static native void cumulatives__SWIG_14(long jarg1, int[] jarg2, long[] jarg3, int[] jarg4, long[] jarg5, int[] jarg6, int[] jarg7, boolean jarg8, int jarg9);
  public final static native void cumulatives__SWIG_15(long jarg1, int[] jarg2, long[] jarg3, int[] jarg4, long[] jarg5, int[] jarg6, int[] jarg7, boolean jarg8);
  public final static native void producer_consumer__SWIG_0(long jarg1, long[] jarg2, int[] jarg3, long[] jarg4, int[] jarg5, int jarg6, int jarg7);
  public final static native void producer_consumer__SWIG_1(long jarg1, long[] jarg2, int[] jarg3, long[] jarg4, int[] jarg5, int jarg6);
  public final static native void cumulative__SWIG_0(long jarg1, long[] jarg2, long[] jarg3, long[] jarg4, int jarg5, boolean jarg6, int jarg7);
  public final static native void cumulative__SWIG_1(long jarg1, long[] jarg2, long[] jarg3, long[] jarg4, int jarg5, boolean jarg6);
  public final static native void cumulative__SWIG_2(long jarg1, long[] jarg2, long[] jarg3, long[] jarg4, int jarg5);
  public final static native void cumulative__SWIG_3(long jarg1, long[] jarg2, int[] jarg3, long[] jarg4, int jarg5, boolean jarg6, int jarg7);
  public final static native void cumulative__SWIG_4(long jarg1, long[] jarg2, int[] jarg3, long[] jarg4, int jarg5, boolean jarg6);
  public final static native void cumulative__SWIG_5(long jarg1, long[] jarg2, int[] jarg3, long[] jarg4, int jarg5);
  public final static native void cumulative__SWIG_6(long jarg1, long[] jarg2, long[] jarg3, int[] jarg4, int jarg5, boolean jarg6, int jarg7);
  public final static native void cumulative__SWIG_7(long jarg1, long[] jarg2, long[] jarg3, int[] jarg4, int jarg5, boolean jarg6);
  public final static native void cumulative__SWIG_8(long jarg1, long[] jarg2, long[] jarg3, int[] jarg4, int jarg5);
  public final static native void cumulative__SWIG_9(long jarg1, long[] jarg2, int[] jarg3, int[] jarg4, int jarg5, boolean jarg6, int jarg7);
  public final static native void cumulative__SWIG_10(long jarg1, long[] jarg2, int[] jarg3, int[] jarg4, int jarg5, boolean jarg6);
  public final static native void cumulative__SWIG_11(long jarg1, long[] jarg2, int[] jarg3, int[] jarg4, int jarg5);
  public final static native void serialized__SWIG_0(long jarg1, long[] jarg2, long[] jarg3, int jarg4);
  public final static native void serialized__SWIG_1(long jarg1, long[] jarg2, long[] jarg3);
  public final static native void serialized__SWIG_2(long jarg1, long[] jarg2, int[] jarg3, int jarg4);
  public final static native void serialized__SWIG_3(long jarg1, long[] jarg2, int[] jarg3);
  public final static native long new_REG__SWIG_0(long jarg1);
  public final static native long new_REG__SWIG_1();
  public final static native long new_REG__SWIG_2(int jarg1);
  public final static native long REG_repeat__SWIG_0(long jarg1, long jarg2, long jarg3);
  public final static native long REG_repeat__SWIG_1(long jarg1, long jarg2);
  public final static native long REG_alt(long jarg1, long jarg2);
  public final static native long REG_conc(long jarg1, long jarg2);
  public final static native long REG_repeat__SWIG_2(long jarg1);
  public final static native void delete_REG(long jarg1);
  public final static native long new_DFA__SWIG_0();
  public final static native long new_DFA__SWIG_1(long jarg1);
  public final static native long new_DFA__SWIG_2(long jarg1);
  public final static native void delete_DFA(long jarg1);
  public final static native void DFA_update(long jarg1, boolean jarg2, long jarg3);
  public final static native long DFA_n_states(long jarg1);
  public final static native long DFA_n_transitions(long jarg1);
  public final static native int DFA_final_fst(long jarg1);
  public final static native int DFA_final_lst(long jarg1);
  public final static native int DFA_symbol_min(long jarg1);
  public final static native int DFA_symbol_max(long jarg1);
  public final static native void regular__SWIG_0(long jarg1, long[] jarg2, long jarg3, int jarg4);
  public final static native void regular__SWIG_1(long jarg1, long[] jarg2, long jarg3);
  public final static native void count__SWIG_0(long jarg1, long[] jarg2, int jarg3, int jarg4, int jarg5, int jarg6);
  public final static native void count__SWIG_1(long jarg1, long[] jarg2, int jarg3, int jarg4, int jarg5);
  public final static native void count__SWIG_2(long jarg1, long[] jarg2, long jarg3, int jarg4, int jarg5, int jarg6);
  public final static native void count__SWIG_3(long jarg1, long[] jarg2, long jarg3, int jarg4, int jarg5);
  public final static native void count__SWIG_4(long jarg1, long[] jarg2, int jarg3, int jarg4, long jarg5, int jarg6);
  public final static native void count__SWIG_5(long jarg1, long[] jarg2, int jarg3, int jarg4, long jarg5);
  public final static native void count__SWIG_6(long jarg1, long[] jarg2, long jarg3, int jarg4, long jarg5, int jarg6);
  public final static native void count__SWIG_7(long jarg1, long[] jarg2, long jarg3, int jarg4, long jarg5);
  public final static native void gcc__SWIG_0(long jarg1, long[] jarg2, int[] jarg3, int jarg4, int jarg5, int jarg6, int jarg7, int jarg8, int jarg9);
  public final static native void gcc__SWIG_1(long jarg1, long[] jarg2, int[] jarg3, int jarg4, int jarg5, int jarg6, int jarg7, int jarg8);
  public final static native void gcc__SWIG_2(long jarg1, long[] jarg2, int jarg3, int jarg4, int jarg5);
  public final static native void gcc__SWIG_3(long jarg1, long[] jarg2, int jarg3, int jarg4);
  public final static native void gcc__SWIG_4(long jarg1, long[] jarg2, long[] jarg3, int jarg4, int jarg5, int jarg6);
  public final static native void gcc__SWIG_5(long jarg1, long[] jarg2, int[] jarg3, long[] jarg4, int jarg5, int jarg6, int jarg7, boolean jarg8, int jarg9, int jarg10, int jarg11);
  public final static native void gcc__SWIG_6(long jarg1, long[] jarg2, int[] jarg3, long[] jarg4, int jarg5, int jarg6, boolean jarg7, int jarg8, int jarg9, int jarg10);
  public final static native void bool_not__SWIG_0(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native void bool_not__SWIG_1(long jarg1, long jarg2, long jarg3);
  public final static native void bool_eq__SWIG_0(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native void bool_eq__SWIG_1(long jarg1, long jarg2, long jarg3);
  public final static native void bool_and__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void bool_and__SWIG_1(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void bool_and__SWIG_2(long jarg1, long jarg2, long jarg3, boolean jarg4, int jarg5);
  public final static native void bool_and__SWIG_3(long jarg1, long jarg2, long jarg3, boolean jarg4);
  public final static native void bool_and__SWIG_4(long jarg1, long[] jarg2, long jarg3, int jarg4);
  public final static native void bool_and__SWIG_5(long jarg1, long[] jarg2, long jarg3);
  public final static native void bool_and__SWIG_6(long jarg1, long[] jarg2, boolean jarg3, int jarg4);
  public final static native void bool_and__SWIG_7(long jarg1, long[] jarg2, boolean jarg3);
  public final static native void bool_or__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void bool_or__SWIG_1(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void bool_or__SWIG_2(long jarg1, long jarg2, long jarg3, boolean jarg4, int jarg5);
  public final static native void bool_or__SWIG_3(long jarg1, long jarg2, long jarg3, boolean jarg4);
  public final static native void bool_or__SWIG_4(long jarg1, long[] jarg2, long jarg3, int jarg4);
  public final static native void bool_or__SWIG_5(long jarg1, long[] jarg2, long jarg3);
  public final static native void bool_or__SWIG_6(long jarg1, long[] jarg2, boolean jarg3, int jarg4);
  public final static native void bool_or__SWIG_7(long jarg1, long[] jarg2, boolean jarg3);
  public final static native void bool_imp__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void bool_imp__SWIG_1(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void bool_imp__SWIG_2(long jarg1, long jarg2, long jarg3, boolean jarg4, int jarg5);
  public final static native void bool_imp__SWIG_3(long jarg1, long jarg2, long jarg3, boolean jarg4);
  public final static native void bool_eqv__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void bool_eqv__SWIG_1(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void bool_eqv__SWIG_2(long jarg1, long jarg2, long jarg3, boolean jarg4, int jarg5);
  public final static native void bool_eqv__SWIG_3(long jarg1, long jarg2, long jarg3, boolean jarg4);
  public final static native void bool_xor__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void bool_xor__SWIG_1(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void bool_xor__SWIG_2(long jarg1, long jarg2, long jarg3, boolean jarg4, int jarg5);
  public final static native void bool_xor__SWIG_3(long jarg1, long jarg2, long jarg3, boolean jarg4);
  public final static native void min__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void min__SWIG_1(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void min__SWIG_2(long jarg1, long[] jarg2, long jarg3, int jarg4);
  public final static native void min__SWIG_3(long jarg1, long[] jarg2, long jarg3);
  public final static native void max__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void max__SWIG_1(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void max__SWIG_2(long jarg1, long[] jarg2, long jarg3, int jarg4);
  public final static native void max__SWIG_3(long jarg1, long[] jarg2, long jarg3);
  public final static native void abs__SWIG_0(long jarg1, long jarg2, long jarg3, int jarg4);
  public final static native void abs__SWIG_1(long jarg1, long jarg2, long jarg3);
  public final static native void mult__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4, int jarg5);
  public final static native void mult__SWIG_1(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void linear__SWIG_0(long jarg1, long[] jarg2, int jarg3, int jarg4, int jarg5);
  public final static native void linear__SWIG_1(long jarg1, long[] jarg2, int jarg3, int jarg4);
  public final static native void linear__SWIG_2(long jarg1, long[] jarg2, int jarg3, long jarg4, int jarg5);
  public final static native void linear__SWIG_3(long jarg1, long[] jarg2, int jarg3, long jarg4);
  public final static native void linear__SWIG_4(long jarg1, long[] jarg2, int jarg3, int jarg4, long jarg5, int jarg6);
  public final static native void linear__SWIG_5(long jarg1, long[] jarg2, int jarg3, int jarg4, long jarg5);
  public final static native void linear__SWIG_6(long jarg1, long[] jarg2, int jarg3, long jarg4, long jarg5, int jarg6);
  public final static native void linear__SWIG_7(long jarg1, long[] jarg2, int jarg3, long jarg4, long jarg5);
  public final static native void linear__SWIG_8(long jarg1, int[] jarg2, long[] jarg3, int jarg4, int jarg5, int jarg6);
  public final static native void linear__SWIG_9(long jarg1, int[] jarg2, long[] jarg3, int jarg4, int jarg5);
  public final static native void linear__SWIG_10(long jarg1, int[] jarg2, long[] jarg3, int jarg4, long jarg5, int jarg6);
  public final static native void linear__SWIG_11(long jarg1, int[] jarg2, long[] jarg3, int jarg4, long jarg5);
  public final static native void linear__SWIG_12(long jarg1, int[] jarg2, long[] jarg3, int jarg4, int jarg5, long jarg6, int jarg7);
  public final static native void linear__SWIG_13(long jarg1, int[] jarg2, long[] jarg3, int jarg4, int jarg5, long jarg6);
  public final static native void linear__SWIG_14(long jarg1, int[] jarg2, long[] jarg3, int jarg4, long jarg5, long jarg6, int jarg7);
  public final static native void linear__SWIG_15(long jarg1, int[] jarg2, long[] jarg3, int jarg4, long jarg5, long jarg6);
  public final static native void linear_bool__SWIG_0(long jarg1, long[] jarg2, int jarg3, int jarg4, int jarg5);
  public final static native void linear_bool__SWIG_1(long jarg1, long[] jarg2, int jarg3, int jarg4);
  public final static native void linear_bool__SWIG_2(long jarg1, long[] jarg2, int jarg3, long jarg4, int jarg5);
  public final static native void linear_bool__SWIG_3(long jarg1, long[] jarg2, int jarg3, long jarg4);
  public final static native void branch__SWIG_0(long jarg1, long[] jarg2, int jarg3, int jarg4);
  public final static native void assign(long jarg1, long[] jarg2, int jarg3);
  public final static native void dom__SWIG_12(long jarg1, long jarg2, int jarg3, int jarg4);
  public final static native void dom__SWIG_13(long jarg1, long jarg2, int jarg3, int jarg4, int jarg5);
  public final static native void dom__SWIG_14(long jarg1, long jarg2, int jarg3, long jarg4);
  public final static native void dom__SWIG_15(long jarg1, long jarg2, int jarg3, int jarg4, long jarg5);
  public final static native void dom__SWIG_16(long jarg1, long jarg2, int jarg3, int jarg4, int jarg5, long jarg6);
  public final static native void dom__SWIG_17(long jarg1, long jarg2, int jarg3, long jarg4, long jarg5);
  public final static native void cardinality__SWIG_0(long jarg1, long jarg2, long jarg3, long jarg4);
  public final static native void rel__SWIG_10(long jarg1, long jarg2, int jarg3, long jarg4);
  public final static native void rel__SWIG_11(long jarg1, long jarg2, int jarg3, long jarg4, long jarg5);
  public final static native void rel__SWIG_12(long jarg1, long jarg2, int jarg3, long jarg4);
  public final static native void rel__SWIG_13(long jarg1, long jarg2, int jarg3, long jarg4);
  public final static native void rel__SWIG_14(long jarg1, long jarg2, int jarg3, long jarg4, long jarg5);
  public final static native void rel__SWIG_15(long jarg1, long jarg2, int jarg3, long jarg4, long jarg5);
  public final static native void rel__SWIG_16(long jarg1, long jarg2, int jarg3, long jarg4);
  public final static native void rel__SWIG_17(long jarg1, long jarg2, int jarg3, long jarg4);
  public final static native void rel__SWIG_18(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5, long jarg6);
  public final static native void rel__SWIG_19(long jarg1, int jarg2, long[] jarg3, long jarg4);
  public final static native void relI(long jarg1, int jarg2, long[] jarg3, long jarg4);
  public final static native void rel__SWIG_20(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5, long jarg6);
  public final static native void rel__SWIG_21(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5, long jarg6);
  public final static native void rel__SWIG_22(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5, long jarg6);
  public final static native void rel__SWIG_23(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5, long jarg6);
  public final static native void rel__SWIG_24(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5, long jarg6);
  public final static native void rel__SWIG_25(long jarg1, long jarg2, int jarg3, long jarg4, int jarg5, long jarg6);
  public final static native void convex(long jarg1, long jarg2);
  public final static native void convexHull(long jarg1, long jarg2, long jarg3);
  public final static native void sequence(long jarg1, long[] jarg2);
  public final static native void sequentialUnion(long jarg1, long[] jarg2, long jarg3);
  public final static native void atmostOne(long jarg1, long[] jarg2, long jarg3);
  public final static native void distinct__SWIG_4(long jarg1, long[] jarg2, long jarg3);
  public final static native void min__SWIG_4(long jarg1, long jarg2, long jarg3);
  public final static native void max__SWIG_4(long jarg1, long jarg2, long jarg3);
  public final static native void match(long jarg1, long jarg2, long[] jarg3);
  public final static native void channel_set(long jarg1, long[] jarg2, long[] jarg3);
  public final static native void cardinality__SWIG_1(long jarg1, long jarg2, long jarg3);
  public final static native void weights(long jarg1, int[] jarg2, int[] jarg3, long jarg4, long jarg5);
  public final static native void selectUnion(long jarg1, long[] jarg2, long jarg3, long jarg4);
  public final static native void selectInter(long jarg1, long[] jarg2, long jarg3, long jarg4);
  public final static native void selectInterIn(long jarg1, long[] jarg2, long jarg3, long jarg4, long jarg5);
  public final static native void selectDisjoint(long jarg1, long[] jarg2, long jarg3);
  public final static native void selectSet(long jarg1, long[] jarg2, long jarg3, long jarg4);
  public final static native void branch__SWIG_1(long jarg1, long[] jarg2, int jarg3, int jarg4);
  public final static native long SWIGBoolVarUpcast(long jarg1);
  public final static native long SWIGMemoryStopUpcast(long jarg1);
  public final static native long SWIGFailStopUpcast(long jarg1);
  public final static native long SWIGTimeStopUpcast(long jarg1);

  /* Director upcall methods: */

public static void SwigDirector_JavaSpace_constrain_internal(JavaSpace self, JavaSpace homeSpace) {
  self.constrain_internal(homeSpace); 
}

public static long SwigDirector_JavaSpace_copy_internal(JavaSpace self, boolean share) {
  return JavaSpace.getCPtr(self.copy_internal(share));
}

public static boolean SwigDirector_Stop_stop(Stop self, long s) {
  return self.stop(new Statistics(s, false));
}

public static boolean SwigDirector_MemoryStop_stop(MemoryStop self, long s) {
  return self.stop(new Statistics(s, false));
}

public static boolean SwigDirector_FailStop_stop(FailStop self, long s) {
  return self.stop(new Statistics(s, false));
}

public static boolean SwigDirector_TimeStop_stop(TimeStop self, long s) {
  return self.stop(new Statistics(s, false));
}

public static void SwigDirector_JavaPropagator_dispose_internal(JavaPropagator self, long home) {
  self.dispose_internal(new JavaSpace(home, false)); 
}

public static int SwigDirector_JavaPropagator_propagate_internal(JavaPropagator self, long home) {
  return (self.propagate_internal(new JavaSpace(home, false))).swigValue();
}

public static int SwigDirector_JavaPropagator_cost_internal(JavaPropagator self) {
  return (self.cost_internal()).swigValue();
}

public static int SwigDirector_JavaPropagator_setup_internal(JavaPropagator self, long home) {
  return (self.setup_internal(new JavaSpace(home, false))).swigValue();
}

public static long SwigDirector_JavaPropagator_copy_internal(JavaPropagator self, long home, boolean share) {
  return JavaPropagator.getCPtr(self.copy_internal(new JavaSpace(home, false), share));
}

public static void SwigDirector_JavaBranching_dispose_internal(JavaBranching self, long home) {
  self.dispose_internal(new JavaSpace(home, false)); 
}

public static boolean SwigDirector_JavaBranching_status_internal(JavaBranching self, long home) {
  return self.status_internal(new JavaSpace(home, false));
}

public static long SwigDirector_JavaBranching_description_internal(JavaBranching self, long home) {
  return JavaBranchingDesc.getCPtr(self.description_internal(new JavaSpace(home, false)));
}

public static long SwigDirector_JavaBranching_copy_internal(JavaBranching self, long newHome, boolean share) {
  return JavaBranching.getCPtr(self.copy_internal(new JavaSpace(newHome, false), share));
}

public static int SwigDirector_JavaBranching_commit_internal(JavaBranching self, long home, long desc, long a) {
  return (self.commit_internal(new JavaSpace(home, false), new JavaBranchingDesc(desc, false), a)).swigValue();
}


  private final static native void swig_module_init();
  static {
    swig_module_init();
  }
}