main page modules namespaces classes files
Gecode/J home

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

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

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

  protected void finalize() {
    delete();
  }

  public void delete() {
    if(swigCPtr != 0 && swigCMemOwn) {
      swigCMemOwn = false;
      GecodeJNI.delete_Statistics(swigCPtr);
    }
    swigCPtr = 0;
  }
 public void setPropagate(long value) {
    GecodeJNI.Statistics_propagate_set(swigCPtr, value);
  }
 public long getPropagate() {
    return GecodeJNI.Statistics_propagate_get(swigCPtr);
  }
 public void setFail(long value) {
    GecodeJNI.Statistics_fail_set(swigCPtr, value);
  }
 public long getFail() {
    return GecodeJNI.Statistics_fail_get(swigCPtr);
  }
 public void setClone(long value) {
    GecodeJNI.Statistics_clone_set(swigCPtr, value);
  }
 public long getClone() {
    return GecodeJNI.Statistics_clone_get(swigCPtr);
  }
 public void setCommit(long value) {
    GecodeJNI.Statistics_commit_set(swigCPtr, value);
  }
 public long getCommit() {
    return GecodeJNI.Statistics_commit_get(swigCPtr);
  }
 public void setMemory(long value) {
    GecodeJNI.Statistics_memory_set(swigCPtr, value);
  }
 public long getMemory() {
    return GecodeJNI.Statistics_memory_get(swigCPtr);
  }
 public Statistics() {
    this(GecodeJNI.new_Statistics(), true);
  }

}