main page modules namespaces classes files
Gecode/J home

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

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

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

  protected void finalize() {
    delete();
  }

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

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

   public SetVarView(JavaSpace home, SetVar i) {
    this(GecodeJNI.new_SetVarView(JavaSpace.getCPtr(home), SetVar.getCPtr(i)), true);
  }

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

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

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

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

  public long cardMin() {
    return GecodeJNI.SetVarView_cardMin__SWIG_0(swigCPtr);
  }

  public long cardMax() {
    return GecodeJNI.SetVarView_cardMax__SWIG_0(swigCPtr);
  }

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

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

  public int lubMinN(int n) {
    return GecodeJNI.SetVarView_lubMinN(swigCPtr, n);
  }

  public int lubMaxN(int n) {
    return GecodeJNI.SetVarView_lubMaxN(swigCPtr, n);
  }

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

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

  public long glbSize() {
    return GecodeJNI.SetVarView_glbSize(swigCPtr);
  }

  public long lubSize() {
    return GecodeJNI.SetVarView_lubSize(swigCPtr);
  }

  public long unknownSize() {
    return GecodeJNI.SetVarView_unknownSize(swigCPtr);
  }

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

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

  public SetModEvent cardMin(JavaSpace home, long m) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_cardMin__SWIG_1(swigCPtr, JavaSpace.getCPtr(home), m));
  }

  public SetModEvent cardMax(JavaSpace home, long m) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_cardMax__SWIG_1(swigCPtr, JavaSpace.getCPtr(home), m));
  }

  public SetModEvent include(JavaSpace home, int i, int j) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_include__SWIG_0(swigCPtr, JavaSpace.getCPtr(home), i, j));
  }

  public SetModEvent exclude(JavaSpace home, int i, int j) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_exclude__SWIG_0(swigCPtr, JavaSpace.getCPtr(home), i, j));
  }

  public SetModEvent include(JavaSpace home, int i) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_include__SWIG_1(swigCPtr, JavaSpace.getCPtr(home), i));
  }

  public SetModEvent exclude(JavaSpace home, int i) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_exclude__SWIG_1(swigCPtr, JavaSpace.getCPtr(home), i));
  }

  public SetModEvent intersect(JavaSpace home, int i, int j) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_intersect__SWIG_0(swigCPtr, JavaSpace.getCPtr(home), i, j));
  }

  public SetModEvent intersect(JavaSpace home, int i) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_intersect__SWIG_1(swigCPtr, JavaSpace.getCPtr(home), i));
  }

  public SetModEvent exclude(JavaSpace home, RangeIterator iter) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_exclude__SWIG_2(swigCPtr, JavaSpace.getCPtr(home), new IntSet(iter.toRanges())));
  }

  public SetModEvent include(JavaSpace home, RangeIterator iter) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_include__SWIG_2(swigCPtr, JavaSpace.getCPtr(home), new IntSet(iter.toRanges())));
  }

  public SetModEvent intersect(JavaSpace home, RangeIterator iter) {
    return SetModEvent.swigToEnum(GecodeJNI.SetVarView_intersect__SWIG_2(swigCPtr, JavaSpace.getCPtr(home), new IntSet(iter.toRanges())));
  }

}