main page modules namespaces classes files
Gecode/J home

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

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

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

  protected void finalize() {
    delete();
  }

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

  public static int[] convertRangeVector(Range[] ranges) {
      int[] cArray = new int[ranges.length*2];
      for (int i=0; i<ranges.length; i++) {
        cArray[i*2] = ranges[i].min;
        cArray[i*2+1] = ranges[i].max;
      }
      return cArray;
  }


   public IntSet(int min, int max) {
    this(GecodeJNI.new_IntSet__SWIG_0(min, max), true);
  }

   public IntSet(int[] r) {
    this(GecodeJNI.new_IntSet__SWIG_1(r), true);
  }

   public IntSet(Range[] r) {
    this(GecodeJNI.new_IntSet__SWIG_2(IntSet.convertRangeVector(r)), true);
  }

}