main page modules namespaces classes files
Gecode/J home

IntVar.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;

public class IntVar implements GecodeVar {
  private long swigCPtr;
  protected boolean swigCMemOwn;

  protected IntVar(long cPtr, boolean cMemoryOwn) {
    swigCMemOwn = cMemoryOwn;
    swigCPtr = cPtr;
  }

  protected static long getCPtr(IntVar obj) {
    return (obj == null) ? 0 : obj.swigCPtr;
  }

  protected void finalize() {
    delete();
  }

  public void delete() {
    if(swigCPtr != 0 && swigCMemOwn) {
      swigCMemOwn = false;
      GecodeJNI.delete_IntVar(swigCPtr);
    }
    swigCPtr = 0;
  }

  protected static long[] cArrayUnwrap(VarArray<? extends IntVar> arrayWrapper) {
      long[] cArray = new long[arrayWrapper.size()];
      for (int i=0; i<arrayWrapper.size(); i++)
        cArray[i] = IntVar.getCPtr(arrayWrapper.get(i));
      return cArray;
  }

  protected static VarArray<IntVar> cArrayWrap(long[] cArray,
                                               boolean cMemoryOwn) {
    VarArray<IntVar> arrayWrapper = new VarArray<IntVar>(cArray.length);
    for (int i=0; i<cArray.length; i++)
      arrayWrapper.add(i, new IntVar(cArray[i], cMemoryOwn));
    return arrayWrapper;
  }

   public IntVar(JavaSpace home, IntSet dom) {
    this(GecodeJNI.new_IntVar__SWIG_0(JavaSpace.getCPtr(home), IntSet.getCPtr(dom)), true);
  }

   public IntVar(JavaSpace home, String name, IntSet dom) {
    this(GecodeJNI.new_IntVar__SWIG_1(JavaSpace.getCPtr(home), name, IntSet.getCPtr(dom)), true);
  }

   public IntVar(JavaSpace home, Integer domMin, Integer domMax) {
    this(GecodeJNI.new_IntVar__SWIG_2(JavaSpace.getCPtr(home), domMin.intValue(), domMax.intValue()), true);
  }

   public IntVar(JavaSpace home, String name, Integer domMin, Integer domMax) {
    this(GecodeJNI.new_IntVar__SWIG_3(JavaSpace.getCPtr(home), name, domMin.intValue(), domMax.intValue()), true);
  }

   public synchronized IntVar copy(JavaSpace newHome, boolean share) {
    return new IntVar(GecodeJNI.IntVar_copy(swigCPtr, JavaSpace.getCPtr(newHome), share), true);
  }

   public synchronized int min() {
    return GecodeJNI.IntVar_min(swigCPtr);
  }

   public synchronized int max() {
    return GecodeJNI.IntVar_max(swigCPtr);
  }

   public synchronized int val() {
    return GecodeJNI.IntVar_val(swigCPtr);
  }

   public synchronized boolean in(int val) {
    return GecodeJNI.IntVar_in(swigCPtr, val);
  }

   public synchronized boolean assigned() {
    return GecodeJNI.IntVar_assigned(swigCPtr);
  }

   public synchronized String toString() {
    return GecodeJNI.IntVar_toString(swigCPtr);
  }

   public synchronized String getName() {
    return GecodeJNI.IntVar_getName(swigCPtr);
  }

}