main page modules namespaces classes files
Gecode/J home

ExecStatus.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 enum ExecStatus {
  ES_FAILED(-1),
  ES_NOFIX(0),
  ES_OK(0),
  ES_FIX(1),
  ES_SUBSUMED(2);

  public final int swigValue() {
    return swigValue;
  }

  public static ExecStatus swigToEnum(int swigValue) {
    ExecStatus[] swigValues = ExecStatus.class.getEnumConstants();
    if (swigValue < swigValues.length && swigValue >= 0 && swigValues[swigValue].swigValue == swigValue)
      return swigValues[swigValue];
    for (ExecStatus swigEnum : swigValues)
      if (swigEnum.swigValue == swigValue)
        return swigEnum;
    throw new IllegalArgumentException("No enum " + ExecStatus.class + " with value " + swigValue);
  }

  private ExecStatus() {
    this.swigValue = SwigNext.next++;
  }

  private ExecStatus(int swigValue) {
    this.swigValue = swigValue;
    SwigNext.next = swigValue+1;
  }

  private ExecStatus(ExecStatus swigEnum) {
    this.swigValue = swigEnum.swigValue;
    SwigNext.next = this.swigValue+1;
  }

  private final int swigValue;

  private static class SwigNext {
    private static int next = 0;
  }
}