main page modules namespaces classes files
Gecode/J home

Gecode.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;
import static org.gecode.GecodeEnumConstants.*;
public abstract class Gecode {

  /***********************************************************
   * 
   * Modeling help
   *
   ***********************************************************/
  
  public static void linear(Space home, IntVar a, IntVar b, 
                            IntRelType rel, IntVar c) 
  {
    VarArray<IntVar> x = new VarArray<IntVar>(a, b, c);
    int coeff[] = {1, 1, -1};
    linear(home, coeff, x, rel, 0);
  }

  public static void linear(Space home, 
                            int ca, IntVar a, 
                            int cb, IntVar b, 
                            int cc, IntVar c,
                            IntRelType rel,
                            int d) 
  {
    VarArray<IntVar> x = new VarArray<IntVar>(a, b, c);
    int coeff[] = {ca, cb, cc};
    linear(home, coeff, x, rel, d);
  }

  public static void linear(Space home, 
                            int ca, IntVar a, 
                            int cb, IntVar b, 
                            IntRelType rel,
                            int d) 
  {
    VarArray<IntVar> x = new VarArray<IntVar>(a, b);
    int coeff[] = {ca, cb};
    linear(home, coeff, x, rel, d);
  }
  
  
  public static void post(Space home,
                          Expr e1,
                          IntRelType irt,
                          int d)
  {
    post(home, e1, irt, new Expr(d), ICL_DEF);
  }
  
  public static void post(Space home,
                          Expr e1,
                          IntRelType irt,
                          int d,
                          IntConLevel cl)
  {
    post(home, e1, irt, new Expr(d), cl);
  }

  public static void post(Space home,
                          Expr e1,
                          IntRelType irt,
                          IntVar v)
  {
    post(home, e1, irt, new Expr(v), ICL_DEF);
  }
  
  public static void post(Space home,
                          Expr e1,
                          IntRelType irt,
                          IntVar v,
                          IntConLevel cl)
  {
    post(home, e1, irt, new Expr(v), cl);
  }

  public static void post(Space home,
                          Expr e1,
                          IntRelType irt,
                          Expr e2)
  {
    post(home, e1, irt, e2, ICL_DEF);
  }
  
  public static void post(Space home,
                          Expr e1,
                          IntRelType irt,
                          Expr e2,
                          IntConLevel cl)
  {
      Expr e = new Expr(e1).minus(e2);
      e.clear_bexpr(home);
      int[] c = new int[e.cs.size()];
      for (int i = 0; i < e.cs.size(); ++i) {
          c[i] = e.cs.get(i);
      }
      linear(home, c, new VarArray<IntVar>(e.vs), 
             irt, -e.d, cl);
  }

  public static void post(Space home,
                          Expr e1,
                          IntRelType irt,
                          Expr e2,
                          BoolVar b)
  {
    post(home, e1, irt, e2, b, ICL_DEF);
  }
  
  public static void post(Space home,
                          Expr e1,
                          IntRelType irt,
                          Expr e2,
                          BoolVar b,
                          IntConLevel cl)
  {
      Expr e = new Expr(e1).minus(e2);
      e.clear_bexpr(home);
      int[] c = new int[e.cs.size()];
      for (int i = 0; i < e.cs.size(); ++i) {
          c[i] = e.cs.get(i);
      }
      linear(home, c, new VarArray<IntVar>(e.vs), 
             irt, -e.d, b, cl);
  }

  public static void post(Space home,
                          BExpr be,
                          boolean val)
  {
      rel(home, be.e.post(home), IRT_EQ, new BoolVar(home, val));
  }

  public static void post(Space home,
                          BExpr be)
  {
      post(home, be, true);
  }

  public static void channel(JavaSpace home, VarArray<? extends IntVar> x,
                             VarArray<? extends GecodeVar> y) {
    if (y.get(0) instanceof IntVar) {
      channel_int(home, x, (VarArray<IntVar>)y);
    } else if (y.get(0) instanceof SetVar) {
      channel_set(home, x, (VarArray<SetVar>)y);        
    } else {
      throw new GecodeException("Only VarArrays of IntVars or SetVars supported by channel.");
    }
  }

  public static void rel(JavaSpace home, SetOpType op,
                         VarArray<? extends GecodeVar> x, SetVar y) {
    if (x.get(0) instanceof IntVar) {
      relI(home, op, (VarArray<IntVar>)x, y);
    } else if (x.get(0) instanceof SetVar) {
      relS(home, op, (VarArray<SetVar>)x, y);
    } else {
      throw new GecodeException("Only VarArrays of IntVars or SetVars supported by rel.");
    }
  }

  public static void linear(JavaSpace home, VarArray<? extends IntVar> x,
                            IntRelType r, int c, IntConLevel icl) {
    boolean isBool=true;
    for (int i=0; i<x.size(); i++) {
      isBool = isBool && (x.get(i) instanceof BoolVar);
    }
    if (isBool) {
      linear_bool(home, (VarArray<BoolVar>)x, r, c, icl);
    } else {
      linear_int(home, (VarArray<IntVar>)x, r, c, icl);        
    }
  }
  public static void linear(JavaSpace home, VarArray<? extends IntVar> x,
                            IntRelType r, int c) {
    linear(home, x, r, c, ICL_DEF);
  }

  public static void linear(JavaSpace home, VarArray<? extends IntVar> x,
                            IntRelType r, IntVar y, IntConLevel icl) {
    boolean isBool=true;
    for (int i=0; i<x.size(); i++) {
      isBool = isBool && (x.get(i) instanceof BoolVar);
    }
    if (isBool) {
      linear_bool(home, (VarArray<BoolVar>)x, r, y, icl);
    } else {
      linear_int(home, (VarArray<IntVar>)x, r, y, icl);        
    }
  }
  public static void linear(JavaSpace home, VarArray<? extends IntVar> x,
                            IntRelType r, IntVar y) {
    linear(home, x, r, y, ICL_DEF);
  }

  
      public static long getDefault_c_d() {
    return GecodeJNI.default_c_d_get();
  }

  
      public static long getDefault_a_d() {
    return GecodeJNI.default_a_d_get();
  }

   public static void addPropagator(JavaSpace home, JavaPropagator prop) {
    GecodeJNI.addPropagator(JavaSpace.getCPtr(home), JavaPropagator.getCPtr(prop));
  }

   public static void addBranching(JavaSpace home, JavaBranching b) {
    GecodeJNI.addBranching(JavaSpace.getCPtr(home), JavaBranching.getCPtr(b));
  }


  public synchronized static void dom(JavaSpace home, IntVar x, int l, int m, IntConLevel arg4) {
    GecodeJNI.dom__SWIG_0(JavaSpace.getCPtr(home), IntVar.getCPtr(x), l, m, arg4.swigValue());
  }

    
  public synchronized static void dom(JavaSpace home, IntVar x, int l, int m) {
    GecodeJNI.dom__SWIG_1(JavaSpace.getCPtr(home), IntVar.getCPtr(x), l, m);
  }

  public synchronized static void dom(JavaSpace home, VarArray<? extends IntVar> x, int l, int m, IntConLevel arg4) {
    GecodeJNI.dom__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), l, m, arg4.swigValue());
  }

  public synchronized static void dom(JavaSpace home, VarArray<? extends IntVar> x, int l, int m) {
    GecodeJNI.dom__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), l, m);
  }

  public synchronized static void dom(JavaSpace home, IntVar x, IntSet s, IntConLevel arg3) {
    GecodeJNI.dom__SWIG_4(JavaSpace.getCPtr(home), IntVar.getCPtr(x), IntSet.getCPtr(s), arg3.swigValue());
  }

  public synchronized static void dom(JavaSpace home, IntVar x, IntSet s) {
    GecodeJNI.dom__SWIG_5(JavaSpace.getCPtr(home), IntVar.getCPtr(x), IntSet.getCPtr(s));
  }

  public synchronized static void dom(JavaSpace home, VarArray<? extends IntVar> x, IntSet s, IntConLevel arg3) {
    GecodeJNI.dom__SWIG_6(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntSet.getCPtr(s), arg3.swigValue());
  }

  public synchronized static void dom(JavaSpace home, VarArray<? extends IntVar> x, IntSet s) {
    GecodeJNI.dom__SWIG_7(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntSet.getCPtr(s));
  }

  public synchronized static void dom(JavaSpace home, IntVar x, int l, int m, BoolVar b, IntConLevel arg5) {
    GecodeJNI.dom__SWIG_8(JavaSpace.getCPtr(home), IntVar.getCPtr(x), l, m, BoolVar.getCPtr(b), arg5.swigValue());
  }

  public synchronized static void dom(JavaSpace home, IntVar x, int l, int m, BoolVar b) {
    GecodeJNI.dom__SWIG_9(JavaSpace.getCPtr(home), IntVar.getCPtr(x), l, m, BoolVar.getCPtr(b));
  }

  public synchronized static void dom(JavaSpace home, IntVar x, IntSet s, BoolVar b, IntConLevel arg4) {
    GecodeJNI.dom__SWIG_10(JavaSpace.getCPtr(home), IntVar.getCPtr(x), IntSet.getCPtr(s), BoolVar.getCPtr(b), arg4.swigValue());
  }

  public synchronized static void dom(JavaSpace home, IntVar x, IntSet s, BoolVar b) {
    GecodeJNI.dom__SWIG_11(JavaSpace.getCPtr(home), IntVar.getCPtr(x), IntSet.getCPtr(s), BoolVar.getCPtr(b));
  }





  public synchronized static void rel(JavaSpace home, IntVar x0, IntRelType r, IntVar x1, IntConLevel icl) {
    GecodeJNI.rel__SWIG_0(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), r.swigValue(), IntVar.getCPtr(x1), icl.swigValue());
  }

    


  public synchronized static void rel(JavaSpace home, IntVar x0, IntRelType r, IntVar x1) {
    GecodeJNI.rel__SWIG_1(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), r.swigValue(), IntVar.getCPtr(x1));
  }

  public synchronized static void rel(JavaSpace home, IntVar x, IntRelType r, int c, IntConLevel icl) {
    GecodeJNI.rel__SWIG_2(JavaSpace.getCPtr(home), IntVar.getCPtr(x), r.swigValue(), c, icl.swigValue());
  }

  public synchronized static void rel(JavaSpace home, IntVar x, IntRelType r, int c) {
    GecodeJNI.rel__SWIG_3(JavaSpace.getCPtr(home), IntVar.getCPtr(x), r.swigValue(), c);
  }

  public synchronized static void rel(JavaSpace home, IntVar x0, IntRelType r, IntVar x1, BoolVar b, IntConLevel icl) {
    GecodeJNI.rel__SWIG_4(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), r.swigValue(), IntVar.getCPtr(x1), BoolVar.getCPtr(b), icl.swigValue());
  }

  public synchronized static void rel(JavaSpace home, IntVar x0, IntRelType r, IntVar x1, BoolVar b) {
    GecodeJNI.rel__SWIG_5(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), r.swigValue(), IntVar.getCPtr(x1), BoolVar.getCPtr(b));
  }

  public synchronized static void rel(JavaSpace home, IntVar x, IntRelType r, int c, BoolVar b, IntConLevel icl) {
    GecodeJNI.rel__SWIG_6(JavaSpace.getCPtr(home), IntVar.getCPtr(x), r.swigValue(), c, BoolVar.getCPtr(b), icl.swigValue());
  }

  public synchronized static void rel(JavaSpace home, IntVar x, IntRelType r, int c, BoolVar b) {
    GecodeJNI.rel__SWIG_7(JavaSpace.getCPtr(home), IntVar.getCPtr(x), r.swigValue(), c, BoolVar.getCPtr(b));
  }

  public synchronized static void rel(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, VarArray<? extends IntVar> y, IntConLevel icl) {
    GecodeJNI.rel__SWIG_8(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.cArrayUnwrap(y), icl.swigValue());
  }

  public synchronized static void rel(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, VarArray<? extends IntVar> y) {
    GecodeJNI.rel__SWIG_9(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.cArrayUnwrap(y));
  }



  public synchronized static void eq(JavaSpace home, IntVar x0, IntVar x1, IntConLevel icl) {
    GecodeJNI.eq__SWIG_0(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), icl.swigValue());
  }

    

  public synchronized static void eq(JavaSpace home, IntVar x0, IntVar x1) {
    GecodeJNI.eq__SWIG_1(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1));
  }

  public synchronized static void eq(JavaSpace home, IntVar x, int n, IntConLevel arg3) {
    GecodeJNI.eq__SWIG_2(JavaSpace.getCPtr(home), IntVar.getCPtr(x), n, arg3.swigValue());
  }

  public synchronized static void eq(JavaSpace home, IntVar x, int n) {
    GecodeJNI.eq__SWIG_3(JavaSpace.getCPtr(home), IntVar.getCPtr(x), n);
  }

  public synchronized static void eq(JavaSpace home, IntVar x0, IntVar x1, BoolVar b, IntConLevel icl) {
    GecodeJNI.eq__SWIG_4(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), BoolVar.getCPtr(b), icl.swigValue());
  }

  public synchronized static void eq(JavaSpace home, IntVar x0, IntVar x1, BoolVar b) {
    GecodeJNI.eq__SWIG_5(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), BoolVar.getCPtr(b));
  }

  public synchronized static void eq(JavaSpace home, IntVar x, int n, BoolVar b, IntConLevel icl) {
    GecodeJNI.eq__SWIG_6(JavaSpace.getCPtr(home), IntVar.getCPtr(x), n, BoolVar.getCPtr(b), icl.swigValue());
  }

  public synchronized static void eq(JavaSpace home, IntVar x, int n, BoolVar b) {
    GecodeJNI.eq__SWIG_7(JavaSpace.getCPtr(home), IntVar.getCPtr(x), n, BoolVar.getCPtr(b));
  }

  public synchronized static void eq(JavaSpace home, VarArray<? extends IntVar> x, IntConLevel icl) {
    GecodeJNI.eq__SWIG_8(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), icl.swigValue());
  }

  public synchronized static void eq(JavaSpace home, VarArray<? extends IntVar> x) {
    GecodeJNI.eq__SWIG_9(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x));
  }




  public synchronized static void element(JavaSpace home, int[] n, IntVar x0, IntVar x1, IntConLevel arg4) {
    GecodeJNI.element__SWIG_0(JavaSpace.getCPtr(home), n, IntVar.getCPtr(x0), IntVar.getCPtr(x1), arg4.swigValue());
  }

    
  public synchronized static void element(JavaSpace home, int[] n, IntVar x0, IntVar x1) {
    GecodeJNI.element__SWIG_1(JavaSpace.getCPtr(home), n, IntVar.getCPtr(x0), IntVar.getCPtr(x1));
  }

  public synchronized static void element(JavaSpace home, VarArray<? extends IntVar> x, IntVar y0, IntVar y1, IntConLevel icl) {
    GecodeJNI.element__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y0), IntVar.getCPtr(y1), icl.swigValue());
  }

  public synchronized static void element(JavaSpace home, VarArray<? extends IntVar> x, IntVar y0, IntVar y1) {
    GecodeJNI.element__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y0), IntVar.getCPtr(y1));
  }



  public synchronized static void distinct(JavaSpace home, VarArray<? extends IntVar> x, IntConLevel icl) {
    GecodeJNI.distinct__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), icl.swigValue());
  }

    
  public synchronized static void distinct(JavaSpace home, VarArray<? extends IntVar> x) {
    GecodeJNI.distinct__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x));
  }

  public synchronized static void distinct(JavaSpace home, int[] n, VarArray<? extends IntVar> x, IntConLevel icl) {
    GecodeJNI.distinct__SWIG_2(JavaSpace.getCPtr(home), n, IntVar.cArrayUnwrap(x), icl.swigValue());
  }

  public synchronized static void distinct(JavaSpace home, int[] n, VarArray<? extends IntVar> x) {
    GecodeJNI.distinct__SWIG_3(JavaSpace.getCPtr(home), n, IntVar.cArrayUnwrap(x));
  }



  public synchronized static void channel(JavaSpace home, VarArray<? extends IntVar> x, VarArray<? extends IntVar> y, IntConLevel icl) {
    GecodeJNI.channel(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.cArrayUnwrap(y), icl.swigValue());
  }

  
  private synchronized static void channel_int(JavaSpace home, VarArray<? extends IntVar> x, VarArray<? extends IntVar> y) {
    GecodeJNI.channel_int(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.cArrayUnwrap(y));
  }



  public synchronized static void cumulatives(JavaSpace home, VarArray<? extends IntVar> machine, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> end, VarArray<? extends IntVar> height, int[] limit, boolean at_most, IntConLevel icl) {
    GecodeJNI.cumulatives__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(machine), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(end), IntVar.cArrayUnwrap(height), limit, at_most, icl.swigValue());
  }

    
  public synchronized static void cumulatives(JavaSpace home, VarArray<? extends IntVar> machine, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> end, VarArray<? extends IntVar> height, int[] limit, boolean at_most) {
    GecodeJNI.cumulatives__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(machine), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(end), IntVar.cArrayUnwrap(height), limit, at_most);
  }

  public synchronized static void cumulatives(JavaSpace home, int[] machine, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> end, VarArray<? extends IntVar> height, int[] limit, boolean at_most, IntConLevel icl) {
    GecodeJNI.cumulatives__SWIG_2(JavaSpace.getCPtr(home), machine, IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(end), IntVar.cArrayUnwrap(height), limit, at_most, icl.swigValue());
  }

  public synchronized static void cumulatives(JavaSpace home, int[] machine, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> end, VarArray<? extends IntVar> height, int[] limit, boolean at_most) {
    GecodeJNI.cumulatives__SWIG_3(JavaSpace.getCPtr(home), machine, IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(end), IntVar.cArrayUnwrap(height), limit, at_most);
  }

  public synchronized static void cumulatives(JavaSpace home, VarArray<? extends IntVar> machine, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> end, VarArray<? extends IntVar> height, int[] limit, boolean at_most, IntConLevel icl) {
    GecodeJNI.cumulatives__SWIG_4(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(machine), IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(end), IntVar.cArrayUnwrap(height), limit, at_most, icl.swigValue());
  }

  public synchronized static void cumulatives(JavaSpace home, VarArray<? extends IntVar> machine, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> end, VarArray<? extends IntVar> height, int[] limit, boolean at_most) {
    GecodeJNI.cumulatives__SWIG_5(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(machine), IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(end), IntVar.cArrayUnwrap(height), limit, at_most);
  }

  public synchronized static void cumulatives(JavaSpace home, int[] machine, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> end, VarArray<? extends IntVar> height, int[] limit, boolean at_most, IntConLevel icl) {
    GecodeJNI.cumulatives__SWIG_6(JavaSpace.getCPtr(home), machine, IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(end), IntVar.cArrayUnwrap(height), limit, at_most, icl.swigValue());
  }

  public synchronized static void cumulatives(JavaSpace home, int[] machine, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> end, VarArray<? extends IntVar> height, int[] limit, boolean at_most) {
    GecodeJNI.cumulatives__SWIG_7(JavaSpace.getCPtr(home), machine, IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(end), IntVar.cArrayUnwrap(height), limit, at_most);
  }

  public synchronized static void cumulatives(JavaSpace home, VarArray<? extends IntVar> machine, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> end, int[] height, int[] limit, boolean at_most, IntConLevel icl) {
    GecodeJNI.cumulatives__SWIG_8(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(machine), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(end), height, limit, at_most, icl.swigValue());
  }

  public synchronized static void cumulatives(JavaSpace home, VarArray<? extends IntVar> machine, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> end, int[] height, int[] limit, boolean at_most) {
    GecodeJNI.cumulatives__SWIG_9(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(machine), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(end), height, limit, at_most);
  }

  public synchronized static void cumulatives(JavaSpace home, int[] machine, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> end, int[] height, int[] limit, boolean at_most, IntConLevel icl) {
    GecodeJNI.cumulatives__SWIG_10(JavaSpace.getCPtr(home), machine, IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(end), height, limit, at_most, icl.swigValue());
  }

  public synchronized static void cumulatives(JavaSpace home, int[] machine, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> end, int[] height, int[] limit, boolean at_most) {
    GecodeJNI.cumulatives__SWIG_11(JavaSpace.getCPtr(home), machine, IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(end), height, limit, at_most);
  }

  public synchronized static void cumulatives(JavaSpace home, VarArray<? extends IntVar> machine, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> end, int[] height, int[] limit, boolean at_most, IntConLevel icl) {
    GecodeJNI.cumulatives__SWIG_12(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(machine), IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(end), height, limit, at_most, icl.swigValue());
  }

  public synchronized static void cumulatives(JavaSpace home, VarArray<? extends IntVar> machine, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> end, int[] height, int[] limit, boolean at_most) {
    GecodeJNI.cumulatives__SWIG_13(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(machine), IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(end), height, limit, at_most);
  }

  public synchronized static void cumulatives(JavaSpace home, int[] machine, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> end, int[] height, int[] limit, boolean at_most, IntConLevel icl) {
    GecodeJNI.cumulatives__SWIG_14(JavaSpace.getCPtr(home), machine, IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(end), height, limit, at_most, icl.swigValue());
  }

  public synchronized static void cumulatives(JavaSpace home, int[] machine, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> end, int[] height, int[] limit, boolean at_most) {
    GecodeJNI.cumulatives__SWIG_15(JavaSpace.getCPtr(home), machine, IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(end), height, limit, at_most);
  }

  
    public synchronized static void producer_consumer(JavaSpace home, VarArray<? extends IntVar> produce_date, int[] produce_amount, VarArray<? extends IntVar> consume_date, int[] consume_amount, int initial, IntConLevel icl) {
    GecodeJNI.producer_consumer__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(produce_date), produce_amount, IntVar.cArrayUnwrap(consume_date), consume_amount, initial, icl.swigValue());
  }

  
    public synchronized static void producer_consumer(JavaSpace home, VarArray<? extends IntVar> produce_date, int[] produce_amount, VarArray<? extends IntVar> consume_date, int[] consume_amount, int initial) {
    GecodeJNI.producer_consumer__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(produce_date), produce_amount, IntVar.cArrayUnwrap(consume_date), consume_amount, initial);
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> height, int limit, boolean at_most, IntConLevel cl) {
    GecodeJNI.cumulative__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(height), limit, at_most, cl.swigValue());
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> height, int limit, boolean at_most) {
    GecodeJNI.cumulative__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(height), limit, at_most);
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, VarArray<? extends IntVar> height, int limit) {
    GecodeJNI.cumulative__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), IntVar.cArrayUnwrap(height), limit);
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> height, int limit, boolean at_most, IntConLevel cl) {
    GecodeJNI.cumulative__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(height), limit, at_most, cl.swigValue());
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> height, int limit, boolean at_most) {
    GecodeJNI.cumulative__SWIG_4(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(height), limit, at_most);
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, int[] duration, VarArray<? extends IntVar> height, int limit) {
    GecodeJNI.cumulative__SWIG_5(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), duration, IntVar.cArrayUnwrap(height), limit);
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, int[] height, int limit, boolean at_most, IntConLevel cl) {
    GecodeJNI.cumulative__SWIG_6(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), height, limit, at_most, cl.swigValue());
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, int[] height, int limit, boolean at_most) {
    GecodeJNI.cumulative__SWIG_7(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), height, limit, at_most);
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, int[] height, int limit) {
    GecodeJNI.cumulative__SWIG_8(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), height, limit);
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, int[] duration, int[] height, int limit, boolean at_most, IntConLevel cl) {
    GecodeJNI.cumulative__SWIG_9(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), duration, height, limit, at_most, cl.swigValue());
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, int[] duration, int[] height, int limit, boolean at_most) {
    GecodeJNI.cumulative__SWIG_10(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), duration, height, limit, at_most);
  }

  
    public synchronized static void cumulative(JavaSpace home, VarArray<? extends IntVar> start, int[] duration, int[] height, int limit) {
    GecodeJNI.cumulative__SWIG_11(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), duration, height, limit);
  }

  
    public synchronized static void serialized(JavaSpace home, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration, IntConLevel cl) {
    GecodeJNI.serialized__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration), cl.swigValue());
  }

  
    public synchronized static void serialized(JavaSpace home, VarArray<? extends IntVar> start, VarArray<? extends IntVar> duration) {
    GecodeJNI.serialized__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), IntVar.cArrayUnwrap(duration));
  }

  
    public synchronized static void serialized(JavaSpace home, VarArray<? extends IntVar> start, int[] duration, IntConLevel cl) {
    GecodeJNI.serialized__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), duration, cl.swigValue());
  }

  
    public synchronized static void serialized(JavaSpace home, VarArray<? extends IntVar> start, int[] duration) {
    GecodeJNI.serialized__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(start), duration);
  }

  private static void regular(JavaSpace home, VarArray<? extends IntVar> x, DFA d, IntConLevel cl) {
    GecodeJNI.regular__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), DFA.getCPtr(d), cl.swigValue());
  }

  private static void regular(JavaSpace home, VarArray<? extends IntVar> x, DFA d) {
    GecodeJNI.regular__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), DFA.getCPtr(d));
  }



  public static void regular(Space home, VarArray<? extends IntVar> x, REG r) {
        regular(home, x, new DFA(r));
  }

  public static void regular(Space home, VarArray<? extends IntVar> x, 
                             REG r, IntConLevel cl) {
        regular(home, x, new DFA(r), cl);
  }



  

    public synchronized static void count(JavaSpace home, VarArray<? extends IntVar> x, int n, IntRelType r, int m, IntConLevel icl) {
    GecodeJNI.count__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), n, r.swigValue(), m, icl.swigValue());
  }

  
  
    public synchronized static void count(JavaSpace home, VarArray<? extends IntVar> x, int n, IntRelType r, int m) {
    GecodeJNI.count__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), n, r.swigValue(), m);
  }

  
    public synchronized static void count(JavaSpace home, VarArray<? extends IntVar> x, IntVar y, IntRelType r, int m, IntConLevel icl) {
    GecodeJNI.count__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y), r.swigValue(), m, icl.swigValue());
  }

  
    public synchronized static void count(JavaSpace home, VarArray<? extends IntVar> x, IntVar y, IntRelType r, int m) {
    GecodeJNI.count__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y), r.swigValue(), m);
  }

  
    public synchronized static void count(JavaSpace home, VarArray<? extends IntVar> x, int n, IntRelType r, IntVar z, IntConLevel icl) {
    GecodeJNI.count__SWIG_4(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), n, r.swigValue(), IntVar.getCPtr(z), icl.swigValue());
  }

  
    public synchronized static void count(JavaSpace home, VarArray<? extends IntVar> x, int n, IntRelType r, IntVar z) {
    GecodeJNI.count__SWIG_5(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), n, r.swigValue(), IntVar.getCPtr(z));
  }

  
    public synchronized static void count(JavaSpace home, VarArray<? extends IntVar> x, IntVar y, IntRelType r, IntVar z, IntConLevel icl) {
    GecodeJNI.count__SWIG_6(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y), r.swigValue(), IntVar.getCPtr(z), icl.swigValue());
  }

  
    public synchronized static void count(JavaSpace home, VarArray<? extends IntVar> x, IntVar y, IntRelType r, IntVar z) {
    GecodeJNI.count__SWIG_7(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y), r.swigValue(), IntVar.getCPtr(z));
  }

  
    public synchronized static void gcc(JavaSpace home, VarArray<? extends IntVar> x, int[] c, int m, int unspec_low, int unspec_up, int min, int max, IntConLevel icl) {
    GecodeJNI.gcc__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), c, m, unspec_low, unspec_up, min, max, icl.swigValue());
  }

  
    public synchronized static void gcc(JavaSpace home, VarArray<? extends IntVar> x, int[] c, int m, int unspec, int min, int max, IntConLevel icl) {
    GecodeJNI.gcc__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), c, m, unspec, min, max, icl.swigValue());
  }

  
    public synchronized static void gcc(JavaSpace home, VarArray<? extends IntVar> x, int lb, int ub, IntConLevel icl) {
    GecodeJNI.gcc__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), lb, ub, icl.swigValue());
  }

  
    public synchronized static void gcc(JavaSpace home, VarArray<? extends IntVar> x, int ub, IntConLevel icl) {
    GecodeJNI.gcc__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), ub, icl.swigValue());
  }

  
    public synchronized static void gcc(JavaSpace home, VarArray<? extends IntVar> x, VarArray<? extends IntVar> c, int min, int max, IntConLevel icl) {
    GecodeJNI.gcc__SWIG_4(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.cArrayUnwrap(c), min, max, icl.swigValue());
  }

  
    public synchronized static void gcc(JavaSpace home, VarArray<? extends IntVar> x, int[] v, VarArray<? extends IntVar> c, int m, int unspec_low, int unspec_up, boolean all, int min, int max, IntConLevel icl) {
    GecodeJNI.gcc__SWIG_5(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), v, IntVar.cArrayUnwrap(c), m, unspec_low, unspec_up, all, min, max, icl.swigValue());
  }

  
    public synchronized static void gcc(JavaSpace home, VarArray<? extends IntVar> x, int[] v, VarArray<? extends IntVar> c, int m, int unspec, boolean all, int min, int max, IntConLevel icl) {
    GecodeJNI.gcc__SWIG_6(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), v, IntVar.cArrayUnwrap(c), m, unspec, all, min, max, icl.swigValue());
  }

  


    public synchronized static void bool_not(JavaSpace home, BoolVar b0, BoolVar b1, IntConLevel arg3) {
    GecodeJNI.bool_not__SWIG_0(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), arg3.swigValue());
  }

  
  
    public synchronized static void bool_not(JavaSpace home, BoolVar b0, BoolVar b1) {
    GecodeJNI.bool_not__SWIG_1(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1));
  }

  
    public synchronized static void bool_eq(JavaSpace home, BoolVar b0, BoolVar b1, IntConLevel arg3) {
    GecodeJNI.bool_eq__SWIG_0(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), arg3.swigValue());
  }

  
    public synchronized static void bool_eq(JavaSpace home, BoolVar b0, BoolVar b1) {
    GecodeJNI.bool_eq__SWIG_1(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1));
  }

  
    public synchronized static void bool_and(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4) {
    GecodeJNI.bool_and__SWIG_0(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2), arg4.swigValue());
  }

  
    public synchronized static void bool_and(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2) {
    GecodeJNI.bool_and__SWIG_1(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2));
  }

  
    public synchronized static void bool_and(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4) {
    GecodeJNI.bool_and__SWIG_2(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2, arg4.swigValue());
  }

  
    public synchronized static void bool_and(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2) {
    GecodeJNI.bool_and__SWIG_3(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2);
  }

  
    public synchronized static void bool_and(JavaSpace home, VarArray<? extends BoolVar> b, BoolVar c, IntConLevel arg3) {
    GecodeJNI.bool_and__SWIG_4(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(b), BoolVar.getCPtr(c), arg3.swigValue());
  }

  
    public synchronized static void bool_and(JavaSpace home, VarArray<? extends BoolVar> b, BoolVar c) {
    GecodeJNI.bool_and__SWIG_5(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(b), BoolVar.getCPtr(c));
  }

  
    public synchronized static void bool_and(JavaSpace home, VarArray<? extends BoolVar> b, boolean c, IntConLevel arg3) {
    GecodeJNI.bool_and__SWIG_6(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(b), c, arg3.swigValue());
  }

  
    public synchronized static void bool_and(JavaSpace home, VarArray<? extends BoolVar> b, boolean c) {
    GecodeJNI.bool_and__SWIG_7(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(b), c);
  }

  
    public synchronized static void bool_or(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4) {
    GecodeJNI.bool_or__SWIG_0(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2), arg4.swigValue());
  }

  
    public synchronized static void bool_or(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2) {
    GecodeJNI.bool_or__SWIG_1(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2));
  }

  
    public synchronized static void bool_or(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4) {
    GecodeJNI.bool_or__SWIG_2(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2, arg4.swigValue());
  }

  
    public synchronized static void bool_or(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2) {
    GecodeJNI.bool_or__SWIG_3(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2);
  }

  
    public synchronized static void bool_or(JavaSpace home, VarArray<? extends BoolVar> b, BoolVar c, IntConLevel arg3) {
    GecodeJNI.bool_or__SWIG_4(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(b), BoolVar.getCPtr(c), arg3.swigValue());
  }

  
    public synchronized static void bool_or(JavaSpace home, VarArray<? extends BoolVar> b, BoolVar c) {
    GecodeJNI.bool_or__SWIG_5(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(b), BoolVar.getCPtr(c));
  }

  
    public synchronized static void bool_or(JavaSpace home, VarArray<? extends BoolVar> b, boolean c, IntConLevel arg3) {
    GecodeJNI.bool_or__SWIG_6(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(b), c, arg3.swigValue());
  }

  
    public synchronized static void bool_or(JavaSpace home, VarArray<? extends BoolVar> b, boolean c) {
    GecodeJNI.bool_or__SWIG_7(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(b), c);
  }

  
    public synchronized static void bool_imp(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4) {
    GecodeJNI.bool_imp__SWIG_0(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2), arg4.swigValue());
  }

  
    public synchronized static void bool_imp(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2) {
    GecodeJNI.bool_imp__SWIG_1(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2));
  }

  
    public synchronized static void bool_imp(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4) {
    GecodeJNI.bool_imp__SWIG_2(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2, arg4.swigValue());
  }

  
    public synchronized static void bool_imp(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2) {
    GecodeJNI.bool_imp__SWIG_3(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2);
  }

  
    public synchronized static void bool_eqv(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4) {
    GecodeJNI.bool_eqv__SWIG_0(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2), arg4.swigValue());
  }

  
    public synchronized static void bool_eqv(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2) {
    GecodeJNI.bool_eqv__SWIG_1(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2));
  }

  
    public synchronized static void bool_eqv(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4) {
    GecodeJNI.bool_eqv__SWIG_2(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2, arg4.swigValue());
  }

  
    public synchronized static void bool_eqv(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2) {
    GecodeJNI.bool_eqv__SWIG_3(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2);
  }

  
    public synchronized static void bool_xor(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4) {
    GecodeJNI.bool_xor__SWIG_0(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2), arg4.swigValue());
  }

  
    public synchronized static void bool_xor(JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2) {
    GecodeJNI.bool_xor__SWIG_1(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), BoolVar.getCPtr(b2));
  }

  
    public synchronized static void bool_xor(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4) {
    GecodeJNI.bool_xor__SWIG_2(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2, arg4.swigValue());
  }

  
    public synchronized static void bool_xor(JavaSpace home, BoolVar b0, BoolVar b1, boolean b2) {
    GecodeJNI.bool_xor__SWIG_3(JavaSpace.getCPtr(home), BoolVar.getCPtr(b0), BoolVar.getCPtr(b1), b2);
  }

  

    public synchronized static void min(JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4) {
    GecodeJNI.min__SWIG_0(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), IntVar.getCPtr(x2), arg4.swigValue());
  }

  
  
    public synchronized static void min(JavaSpace home, IntVar x0, IntVar x1, IntVar x2) {
    GecodeJNI.min__SWIG_1(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), IntVar.getCPtr(x2));
  }

  
    public synchronized static void min(JavaSpace home, VarArray<? extends IntVar> x, IntVar y, IntConLevel arg3) {
    GecodeJNI.min__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y), arg3.swigValue());
  }

  
    public synchronized static void min(JavaSpace home, VarArray<? extends IntVar> x, IntVar y) {
    GecodeJNI.min__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y));
  }

  
    public synchronized static void max(JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4) {
    GecodeJNI.max__SWIG_0(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), IntVar.getCPtr(x2), arg4.swigValue());
  }

  
    public synchronized static void max(JavaSpace home, IntVar x0, IntVar x1, IntVar x2) {
    GecodeJNI.max__SWIG_1(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), IntVar.getCPtr(x2));
  }

  
    public synchronized static void max(JavaSpace home, VarArray<? extends IntVar> x, IntVar y, IntConLevel arg3) {
    GecodeJNI.max__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y), arg3.swigValue());
  }

  
    public synchronized static void max(JavaSpace home, VarArray<? extends IntVar> x, IntVar y) {
    GecodeJNI.max__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), IntVar.getCPtr(y));
  }

  
    public synchronized static void abs(JavaSpace home, IntVar x0, IntVar x1, IntConLevel arg3) {
    GecodeJNI.abs__SWIG_0(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), arg3.swigValue());
  }

  
    public synchronized static void abs(JavaSpace home, IntVar x0, IntVar x1) {
    GecodeJNI.abs__SWIG_1(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1));
  }

  
    public synchronized static void mult(JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4) {
    GecodeJNI.mult__SWIG_0(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), IntVar.getCPtr(x2), arg4.swigValue());
  }

  
    public synchronized static void mult(JavaSpace home, IntVar x0, IntVar x1, IntVar x2) {
    GecodeJNI.mult__SWIG_1(JavaSpace.getCPtr(home), IntVar.getCPtr(x0), IntVar.getCPtr(x1), IntVar.getCPtr(x2));
  }

  


    private synchronized static void linear_int(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, int c, IntConLevel arg4) {
    GecodeJNI.linear_int__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), c, arg4.swigValue());
  }

  
  
    private synchronized static void linear_int(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, int c) {
    GecodeJNI.linear_int__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), c);
  }

  
    private synchronized static void linear_int(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, IntVar y, IntConLevel arg4) {
    GecodeJNI.linear_int__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.getCPtr(y), arg4.swigValue());
  }

  
    private synchronized static void linear_int(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, IntVar y) {
    GecodeJNI.linear_int__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.getCPtr(y));
  }

  
    public synchronized static void linear(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, int c, BoolVar b, IntConLevel arg5) {
    GecodeJNI.linear__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), c, BoolVar.getCPtr(b), arg5.swigValue());
  }

  
    public synchronized static void linear(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, int c, BoolVar b) {
    GecodeJNI.linear__SWIG_1(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), c, BoolVar.getCPtr(b));
  }

  
    public synchronized static void linear(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, IntVar y, BoolVar b, IntConLevel arg5) {
    GecodeJNI.linear__SWIG_2(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.getCPtr(y), BoolVar.getCPtr(b), arg5.swigValue());
  }

  
    public synchronized static void linear(JavaSpace home, VarArray<? extends IntVar> x, IntRelType r, IntVar y, BoolVar b) {
    GecodeJNI.linear__SWIG_3(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.getCPtr(y), BoolVar.getCPtr(b));
  }

  
    public synchronized static void linear(JavaSpace home, int[] a, VarArray<? extends IntVar> x, IntRelType r, int c, IntConLevel arg5) {
    GecodeJNI.linear__SWIG_4(JavaSpace.getCPtr(home), a, IntVar.cArrayUnwrap(x), r.swigValue(), c, arg5.swigValue());
  }

  
    public synchronized static void linear(JavaSpace home, int[] a, VarArray<? extends IntVar> x, IntRelType r, int c) {
    GecodeJNI.linear__SWIG_5(JavaSpace.getCPtr(home), a, IntVar.cArrayUnwrap(x), r.swigValue(), c);
  }

  
    public synchronized static void linear(JavaSpace home, int[] a, VarArray<? extends IntVar> x, IntRelType r, IntVar y, IntConLevel arg5) {
    GecodeJNI.linear__SWIG_6(JavaSpace.getCPtr(home), a, IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.getCPtr(y), arg5.swigValue());
  }

  
    public synchronized static void linear(JavaSpace home, int[] a, VarArray<? extends IntVar> x, IntRelType r, IntVar y) {
    GecodeJNI.linear__SWIG_7(JavaSpace.getCPtr(home), a, IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.getCPtr(y));
  }

  
    public synchronized static void linear(JavaSpace home, int[] a, VarArray<? extends IntVar> x, IntRelType r, int c, BoolVar b, IntConLevel arg6) {
    GecodeJNI.linear__SWIG_8(JavaSpace.getCPtr(home), a, IntVar.cArrayUnwrap(x), r.swigValue(), c, BoolVar.getCPtr(b), arg6.swigValue());
  }

  
    public synchronized static void linear(JavaSpace home, int[] a, VarArray<? extends IntVar> x, IntRelType r, int c, BoolVar b) {
    GecodeJNI.linear__SWIG_9(JavaSpace.getCPtr(home), a, IntVar.cArrayUnwrap(x), r.swigValue(), c, BoolVar.getCPtr(b));
  }

  
    public synchronized static void linear(JavaSpace home, int[] a, VarArray<? extends IntVar> x, IntRelType r, IntVar y, BoolVar b, IntConLevel arg6) {
    GecodeJNI.linear__SWIG_10(JavaSpace.getCPtr(home), a, IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.getCPtr(y), BoolVar.getCPtr(b), arg6.swigValue());
  }

  
    public synchronized static void linear(JavaSpace home, int[] a, VarArray<? extends IntVar> x, IntRelType r, IntVar y, BoolVar b) {
    GecodeJNI.linear__SWIG_11(JavaSpace.getCPtr(home), a, IntVar.cArrayUnwrap(x), r.swigValue(), IntVar.getCPtr(y), BoolVar.getCPtr(b));
  }

  

    private synchronized static void linear_bool(JavaSpace home, VarArray<? extends BoolVar> x, IntRelType r, int c, IntConLevel arg4) {
    GecodeJNI.linear_bool__SWIG_0(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(x), r.swigValue(), c, arg4.swigValue());
  }

  

    private synchronized static void linear_bool(JavaSpace home, VarArray<? extends BoolVar> x, IntRelType r, int c) {
    GecodeJNI.linear_bool__SWIG_1(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(x), r.swigValue(), c);
  }

  
    private synchronized static void linear_bool(JavaSpace home, VarArray<? extends BoolVar> x, IntRelType r, IntVar y, IntConLevel arg4) {
    GecodeJNI.linear_bool__SWIG_2(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(x), r.swigValue(), IntVar.getCPtr(y), arg4.swigValue());
  }

  
    private synchronized static void linear_bool(JavaSpace home, VarArray<? extends BoolVar> x, IntRelType r, IntVar y) {
    GecodeJNI.linear_bool__SWIG_3(JavaSpace.getCPtr(home), BoolVar.cArrayUnwrapBool(x), r.swigValue(), IntVar.getCPtr(y));
  }

  
public synchronized static void branch(JavaSpace home, VarArray<? extends IntVar> arg1, BvarSel arg2, BvalSel arg3) {
    GecodeJNI.branch__SWIG_0(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(arg1), arg2.swigValue(), arg3.swigValue());
  }

  
 public synchronized static void assign(JavaSpace home, VarArray<? extends IntVar> arg1, AvalSel arg2) {
    GecodeJNI.assign(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(arg1), arg2.swigValue());
  }

  

 public synchronized static void dom(JavaSpace home, SetVar x, SetRelType r, int i) {
    GecodeJNI.dom__SWIG_12(JavaSpace.getCPtr(home), SetVar.getCPtr(x), r.swigValue(), i);
  }

  
 public synchronized static void dom(JavaSpace home, SetVar x, SetRelType r, int i, int j) {
    GecodeJNI.dom__SWIG_13(JavaSpace.getCPtr(home), SetVar.getCPtr(x), r.swigValue(), i, j);
  }

  
 public synchronized static void dom(JavaSpace home, SetVar x, SetRelType r, IntSet s) {
    GecodeJNI.dom__SWIG_14(JavaSpace.getCPtr(home), SetVar.getCPtr(x), r.swigValue(), IntSet.getCPtr(s));
  }

  
 public synchronized static void dom(JavaSpace home, SetVar x, SetRelType r, int i, BoolVar b) {
    GecodeJNI.dom__SWIG_15(JavaSpace.getCPtr(home), SetVar.getCPtr(x), r.swigValue(), i, BoolVar.getCPtr(b));
  }

  
 public synchronized static void dom(JavaSpace home, SetVar x, SetRelType r, int i, int j, BoolVar b) {
    GecodeJNI.dom__SWIG_16(JavaSpace.getCPtr(home), SetVar.getCPtr(x), r.swigValue(), i, j, BoolVar.getCPtr(b));
  }

  
 public synchronized static void dom(JavaSpace home, SetVar x, SetRelType r, IntSet s, BoolVar b) {
    GecodeJNI.dom__SWIG_17(JavaSpace.getCPtr(home), SetVar.getCPtr(x), r.swigValue(), IntSet.getCPtr(s), BoolVar.getCPtr(b));
  }

  
 public synchronized static void cardinality(JavaSpace home, SetVar x, long i, long j) {
    GecodeJNI.cardinality__SWIG_0(JavaSpace.getCPtr(home), SetVar.getCPtr(x), i, j);
  }

  



 public synchronized static void rel(JavaSpace home, SetVar x, SetRelType r, SetVar y) {
    GecodeJNI.rel__SWIG_10(JavaSpace.getCPtr(home), SetVar.getCPtr(x), r.swigValue(), SetVar.getCPtr(y));
  }

  
 public synchronized static void rel(JavaSpace home, SetVar x, SetRelType r, SetVar y, BoolVar b) {
    GecodeJNI.rel__SWIG_11(JavaSpace.getCPtr(home), SetVar.getCPtr(x), r.swigValue(), SetVar.getCPtr(y), BoolVar.getCPtr(b));
  }

  
 public synchronized static void rel(JavaSpace home, SetVar s, SetRelType r, IntVar x) {
    GecodeJNI.rel__SWIG_12(JavaSpace.getCPtr(home), SetVar.getCPtr(s), r.swigValue(), IntVar.getCPtr(x));
  }

  
 public synchronized static void rel(JavaSpace home, IntVar x, SetRelType r, SetVar s) {
    GecodeJNI.rel__SWIG_13(JavaSpace.getCPtr(home), IntVar.getCPtr(x), r.swigValue(), SetVar.getCPtr(s));
  }

  
 public synchronized static void rel(JavaSpace home, SetVar s, SetRelType r, IntVar x, BoolVar b) {
    GecodeJNI.rel__SWIG_14(JavaSpace.getCPtr(home), SetVar.getCPtr(s), r.swigValue(), IntVar.getCPtr(x), BoolVar.getCPtr(b));
  }

  
 public synchronized static void rel(JavaSpace home, IntVar x, SetRelType r, SetVar s, BoolVar b) {
    GecodeJNI.rel__SWIG_15(JavaSpace.getCPtr(home), IntVar.getCPtr(x), r.swigValue(), SetVar.getCPtr(s), BoolVar.getCPtr(b));
  }

  
 public synchronized static void rel(JavaSpace home, SetVar s, IntRelType r, IntVar x) {
    GecodeJNI.rel__SWIG_16(JavaSpace.getCPtr(home), SetVar.getCPtr(s), r.swigValue(), IntVar.getCPtr(x));
  }

  
 public synchronized static void rel(JavaSpace home, IntVar x, IntRelType r, SetVar s) {
    GecodeJNI.rel__SWIG_17(JavaSpace.getCPtr(home), IntVar.getCPtr(x), r.swigValue(), SetVar.getCPtr(s));
  }

  


 public synchronized static void rel(JavaSpace home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z) {
    GecodeJNI.rel__SWIG_18(JavaSpace.getCPtr(home), SetVar.getCPtr(x), op.swigValue(), SetVar.getCPtr(y), r.swigValue(), SetVar.getCPtr(z));
  }

  
 private synchronized static void relS(JavaSpace home, SetOpType op, VarArray<? extends SetVar> x, SetVar y) {
    GecodeJNI.relS(JavaSpace.getCPtr(home), op.swigValue(), SetVar.cArrayUnwrap(x), SetVar.getCPtr(y));
  }

  
 private synchronized static void relI(JavaSpace home, SetOpType op, VarArray<? extends IntVar> x, SetVar y) {
    GecodeJNI.relI(JavaSpace.getCPtr(home), op.swigValue(), IntVar.cArrayUnwrap(x), SetVar.getCPtr(y));
  }

  
 public synchronized static void rel(JavaSpace home, IntSet x, SetOpType op, SetVar y, SetRelType r, SetVar z) {
    GecodeJNI.rel__SWIG_19(JavaSpace.getCPtr(home), IntSet.getCPtr(x), op.swigValue(), SetVar.getCPtr(y), r.swigValue(), SetVar.getCPtr(z));
  }

  
 public synchronized static void rel(JavaSpace home, SetVar x, SetOpType op, IntSet y, SetRelType r, SetVar z) {
    GecodeJNI.rel__SWIG_20(JavaSpace.getCPtr(home), SetVar.getCPtr(x), op.swigValue(), IntSet.getCPtr(y), r.swigValue(), SetVar.getCPtr(z));
  }

  
 public synchronized static void rel(JavaSpace home, SetVar x, SetOpType op, SetVar y, SetRelType r, IntSet z) {
    GecodeJNI.rel__SWIG_21(JavaSpace.getCPtr(home), SetVar.getCPtr(x), op.swigValue(), SetVar.getCPtr(y), r.swigValue(), IntSet.getCPtr(z));
  }

  
 public synchronized static void rel(JavaSpace home, IntSet x, SetOpType op, IntSet y, SetRelType r, SetVar z) {
    GecodeJNI.rel__SWIG_22(JavaSpace.getCPtr(home), IntSet.getCPtr(x), op.swigValue(), IntSet.getCPtr(y), r.swigValue(), SetVar.getCPtr(z));
  }

  
 public synchronized static void rel(JavaSpace home, IntSet x, SetOpType op, SetVar y, SetRelType r, IntSet z) {
    GecodeJNI.rel__SWIG_23(JavaSpace.getCPtr(home), IntSet.getCPtr(x), op.swigValue(), SetVar.getCPtr(y), r.swigValue(), IntSet.getCPtr(z));
  }

  
 public synchronized static void rel(JavaSpace home, SetVar x, SetOpType op, IntSet y, SetRelType r, IntSet z) {
    GecodeJNI.rel__SWIG_24(JavaSpace.getCPtr(home), SetVar.getCPtr(x), op.swigValue(), IntSet.getCPtr(y), r.swigValue(), IntSet.getCPtr(z));
  }

  



 public synchronized static void convex(JavaSpace home, SetVar x) {
    GecodeJNI.convex(JavaSpace.getCPtr(home), SetVar.getCPtr(x));
  }

  
 public synchronized static void convexHull(JavaSpace home, SetVar x, SetVar y) {
    GecodeJNI.convexHull(JavaSpace.getCPtr(home), SetVar.getCPtr(x), SetVar.getCPtr(y));
  }

  


 public synchronized static void sequence(JavaSpace home, VarArray<? extends SetVar> x) {
    GecodeJNI.sequence(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(x));
  }

  
 public synchronized static void sequentialUnion(JavaSpace home, VarArray<? extends SetVar> y, SetVar x) {
    GecodeJNI.sequentialUnion(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(y), SetVar.getCPtr(x));
  }

  



 public synchronized static void atmostOne(JavaSpace home, VarArray<? extends SetVar> x, long c) {
    GecodeJNI.atmostOne(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(x), c);
  }

  
 public synchronized static void distinct(JavaSpace home, VarArray<? extends SetVar> x, long c) {
    GecodeJNI.distinct__SWIG_4(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(x), c);
  }

  


 public synchronized static void min(JavaSpace home, SetVar s, IntVar x) {
    GecodeJNI.min__SWIG_4(JavaSpace.getCPtr(home), SetVar.getCPtr(s), IntVar.getCPtr(x));
  }

  
 public synchronized static void max(JavaSpace home, SetVar s, IntVar x) {
    GecodeJNI.max__SWIG_4(JavaSpace.getCPtr(home), SetVar.getCPtr(s), IntVar.getCPtr(x));
  }

  
 public synchronized static void match(JavaSpace home, SetVar s, VarArray<? extends IntVar> x) {
    GecodeJNI.match(JavaSpace.getCPtr(home), SetVar.getCPtr(s), IntVar.cArrayUnwrap(x));
  }

  
 private synchronized static void channel_set(JavaSpace home, VarArray<? extends IntVar> x, VarArray<? extends SetVar> y) {
    GecodeJNI.channel_set(JavaSpace.getCPtr(home), IntVar.cArrayUnwrap(x), SetVar.cArrayUnwrap(y));
  }

  
 public synchronized static void cardinality(JavaSpace home, SetVar s, IntVar x) {
    GecodeJNI.cardinality__SWIG_1(JavaSpace.getCPtr(home), SetVar.getCPtr(s), IntVar.getCPtr(x));
  }

  
 public synchronized static void weights(JavaSpace home, int[] elements, int[] weights, SetVar x, IntVar y) {
    GecodeJNI.weights(JavaSpace.getCPtr(home), elements, weights, SetVar.getCPtr(x), IntVar.getCPtr(y));
  }

  


 public synchronized static void selectUnion(JavaSpace home, VarArray<? extends SetVar> x, SetVar y, SetVar z) {
    GecodeJNI.selectUnion(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(x), SetVar.getCPtr(y), SetVar.getCPtr(z));
  }

  
 public synchronized static void selectInter(JavaSpace home, VarArray<? extends SetVar> x, SetVar y, SetVar z) {
    GecodeJNI.selectInter(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(x), SetVar.getCPtr(y), SetVar.getCPtr(z));
  }

  
 public synchronized static void selectInterIn(JavaSpace home, VarArray<? extends SetVar> x, SetVar y, SetVar z, IntSet u) {
    GecodeJNI.selectInterIn(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(x), SetVar.getCPtr(y), SetVar.getCPtr(z), IntSet.getCPtr(u));
  }

  
 public synchronized static void selectDisjoint(JavaSpace home, VarArray<? extends SetVar> x, SetVar y) {
    GecodeJNI.selectDisjoint(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(x), SetVar.getCPtr(y));
  }

  
 public synchronized static void selectSet(JavaSpace home, VarArray<? extends SetVar> x, IntVar y, SetVar z) {
    GecodeJNI.selectSet(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(x), IntVar.getCPtr(y), SetVar.getCPtr(z));
  }

  

public synchronized static void branch(JavaSpace home, VarArray<? extends SetVar> arg1, SetBvarSel arg2, SetBvalSel arg3) {
    GecodeJNI.branch__SWIG_1(JavaSpace.getCPtr(home), SetVar.cArrayUnwrap(arg1), arg2.swigValue(), arg3.swigValue());
  }

}