main page modules namespaces classes files
Gecode/J home

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

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

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

  protected void finalize() {
    delete();
  }

  public void delete() {
    if(swigCPtr != 0 && swigCMemOwn) {
      swigCMemOwn = false;
      GecodeJNI.delete_DFSSearch(swigCPtr);
    }
    swigCPtr = 0;
  }
 public synchronized JavaSpace next() {
    JavaSpace s = next_internal();
    if (s != null)
       s.swigTakeOwnership();
    return s;
  }

   public DFSSearch(JavaSpace s, int c_d, int a_d, Stop st) {
    this(GecodeJNI.new_DFSSearch__SWIG_0(JavaSpace.getCPtr(s), c_d, a_d, Stop.getCPtr(st)), true);
  }

   public DFSSearch(JavaSpace s, int c_d, int a_d) {
    this(GecodeJNI.new_DFSSearch__SWIG_1(JavaSpace.getCPtr(s), c_d, a_d), true);
  }

   public DFSSearch(JavaSpace s, int c_d) {
    this(GecodeJNI.new_DFSSearch__SWIG_2(JavaSpace.getCPtr(s), c_d), true);
  }

   public DFSSearch(JavaSpace s) {
    this(GecodeJNI.new_DFSSearch__SWIG_3(JavaSpace.getCPtr(s)), true);
  }

   public synchronized JavaSpace next_internal() {
    return GecodeJNI.DFSSearch_next_internal(swigCPtr);
  }

   public synchronized Statistics statistics() {
    return new Statistics(GecodeJNI.DFSSearch_statistics(swigCPtr), true);
  }

}