main page modules namespaces classes files
Gecode/J home

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

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

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

  protected void finalize() {
    delete();
  }

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

  protected void swigDirectorDisconnect() {
    swigCMemOwn = false;
    delete();
  }

  public void swigReleaseOwnership() {
    swigCMemOwn = false;
    GecodeJNI.JavaBranching_change_ownership(this, swigCPtr, false);
  }

  public void swigTakeOwnership() {
    swigCMemOwn = true;
    GecodeJNI.JavaBranching_change_ownership(this, swigCPtr, true);
  }

   public JavaBranching() {
    this(GecodeJNI.new_JavaBranching(), true);
    GecodeJNI.JavaBranching_director_connect(this, swigCPtr, swigCMemOwn, true);
  }

   public void dispose_internal(JavaSpace home) {
    GecodeJNI.JavaBranching_dispose_internal(swigCPtr, JavaSpace.getCPtr(home));
  }

   public JavaBranching copy_internal(JavaSpace newHome, boolean share) {
    long cPtr = GecodeJNI.JavaBranching_copy_internal(swigCPtr, JavaSpace.getCPtr(newHome), share);
    return (cPtr == 0) ? null : new JavaBranching(cPtr, false);
  }

   public boolean status_internal(JavaSpace home) {
    return GecodeJNI.JavaBranching_status_internal(swigCPtr, JavaSpace.getCPtr(home));
  }

   public ExecStatus commit_internal(JavaSpace home, JavaBranchingDesc desc, long a) {
    return ExecStatus.swigToEnum(GecodeJNI.JavaBranching_commit_internal(swigCPtr, JavaSpace.getCPtr(home), JavaBranchingDesc.getCPtr(desc), a));
  }

   public JavaBranchingDesc description_internal(JavaSpace home) {
    long cPtr = GecodeJNI.JavaBranching_description_internal(swigCPtr, JavaSpace.getCPtr(home));
    return (cPtr == 0) ? null : new JavaBranchingDesc(cPtr, false);
  }

}