main page modules namespaces classes files
Gecode/J home

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

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

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

  protected void finalize() {
    delete();
  }

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

  public void subscribe(JavaSpace home, JavaPropagator p, PropCond pc) {
    if (!(pc instanceof IntPropCond)) 
      throw new IllegalArgumentException("PropCond argument not of type IntPropCond");
    subscribe_internal(home, p, pc.toInteger());
  }
  public void cancel(JavaSpace home, JavaPropagator p, PropCond pc) {
    if (!(pc instanceof IntPropCond)) 
      throw new IllegalArgumentException("PropCond argument not of type IntPropCond");
    cancel_internal(home, p, pc.toInteger());
  }

   public IntVarView(JavaSpace home, IntVar i) {
    this(GecodeJNI.new_IntVarView(JavaSpace.getCPtr(home), IntVar.getCPtr(i)), true);
  }

  public IntVarView copy(JavaSpace newHome, boolean share) {
    long cPtr = GecodeJNI.IntVarView_copy(swigCPtr, JavaSpace.getCPtr(newHome), share);
    return (cPtr == 0) ? null : new IntVarView(cPtr, true);
  }

  public void subscribe_internal(JavaSpace home, JavaPropagator p, int pc) {
    GecodeJNI.IntVarView_subscribe_internal(swigCPtr, JavaSpace.getCPtr(home), JavaPropagator.getCPtr(p), pc);
  }

  public void cancel_internal(JavaSpace home, JavaPropagator p, int pc) {
    GecodeJNI.IntVarView_cancel_internal(swigCPtr, JavaSpace.getCPtr(home), JavaPropagator.getCPtr(p), pc);
  }

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

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

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

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

  public boolean in(int arg0) {
    return GecodeJNI.IntVarView_in(swigCPtr, arg0);
  }

  public IntModEvent lq(JavaSpace home, int n) {
    return IntModEvent.swigToEnum(GecodeJNI.IntVarView_lq(swigCPtr, JavaSpace.getCPtr(home), n));
  }

  public IntModEvent gq(JavaSpace home, int n) {
    return IntModEvent.swigToEnum(GecodeJNI.IntVarView_gq(swigCPtr, JavaSpace.getCPtr(home), n));
  }

  public IntModEvent nq(JavaSpace home, int n) {
    return IntModEvent.swigToEnum(GecodeJNI.IntVarView_nq(swigCPtr, JavaSpace.getCPtr(home), n));
  }

  public IntModEvent eq(JavaSpace home, int n) {
    return IntModEvent.swigToEnum(GecodeJNI.IntVarView_eq(swigCPtr, JavaSpace.getCPtr(home), n));
  }

  public IntModEvent inter(JavaSpace home, RangeIterator iter) {
    return IntModEvent.swigToEnum(GecodeJNI.IntVarView_inter(swigCPtr, JavaSpace.getCPtr(home), new IntSet(iter.toRanges())));
  }

}