main page modules namespaces classes files
Gecode/J home

SetVar.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 SetVar implements GecodeVar {
  private long swigCPtr;
  protected boolean swigCMemOwn;

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

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

  protected void finalize() {
    delete();
  }

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

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

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

   public SetVar(JavaSpace home, IntSet glb, IntSet lub) {
    this(GecodeJNI.new_SetVar__SWIG_0(JavaSpace.getCPtr(home), IntSet.getCPtr(glb), IntSet.getCPtr(lub)), true);
  }

   public SetVar(JavaSpace home, String name, IntSet glb, IntSet lub) {
    this(GecodeJNI.new_SetVar__SWIG_1(JavaSpace.getCPtr(home), name, IntSet.getCPtr(glb), IntSet.getCPtr(lub)), true);
  }

   public SetVar(JavaSpace home) {
    this(GecodeJNI.new_SetVar__SWIG_2(JavaSpace.getCPtr(home)), true);
  }

   public SetVar(JavaSpace home, String name) {
    this(GecodeJNI.new_SetVar__SWIG_3(JavaSpace.getCPtr(home), name), true);
  }

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

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

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

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

   public synchronized int glbSize() {
    return GecodeJNI.SetVar_glbSize(swigCPtr);
  }

   public synchronized int lubSize() {
    return GecodeJNI.SetVar_lubSize(swigCPtr);
  }

   public synchronized int unknownSize() {
    return GecodeJNI.SetVar_unknownSize(swigCPtr);
  }

   public synchronized boolean contains(int i) {
    return GecodeJNI.SetVar_contains(swigCPtr, i);
  }

   public synchronized boolean notContains(int i) {
    return GecodeJNI.SetVar_notContains(swigCPtr, i);
  }

   public synchronized int cardMin() {
    return GecodeJNI.SetVar_cardMin(swigCPtr);
  }

   public synchronized int cardMax() {
    return GecodeJNI.SetVar_cardMax(swigCPtr);
  }

   public synchronized int lubMin() {
    return GecodeJNI.SetVar_lubMin(swigCPtr);
  }

   public synchronized int lubMax() {
    return GecodeJNI.SetVar_lubMax(swigCPtr);
  }

   public synchronized int glbMin() {
    return GecodeJNI.SetVar_glbMin(swigCPtr);
  }

   public synchronized int glbMax() {
    return GecodeJNI.SetVar_glbMax(swigCPtr);
  }

}