edu.nyu.acsys.CVC4.BenchmarkStatus Maven / Gradle / Ivy

/* ----------------------------------------------------------------------------
 * This file was automatically generated by SWIG (http://www.swig.org).
 * Version 4.0.1
 *
 * Do not make changes to this file unless you know what you are doing--modify
 * the SWIG interface file instead.
 * ----------------------------------------------------------------------------- */

package edu.nyu.acsys.CVC4;

public final class BenchmarkStatus {
  public final static BenchmarkStatus SMT_SATISFIABLE = new BenchmarkStatus("SMT_SATISFIABLE");
  public final static BenchmarkStatus SMT_UNSATISFIABLE = new BenchmarkStatus("SMT_UNSATISFIABLE");
  public final static BenchmarkStatus SMT_UNKNOWN = new BenchmarkStatus("SMT_UNKNOWN");

  public final int swigValue() {
    return swigValue;
  }

  public String toString() {
    return swigName;
  }

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

  private BenchmarkStatus(String swigName) {
    this.swigName = swigName;
    this.swigValue = swigNext++;
  }

  private BenchmarkStatus(String swigName, int swigValue) {
    this.swigName = swigName;
    this.swigValue = swigValue;
    swigNext = swigValue+1;
  }

  private BenchmarkStatus(String swigName, BenchmarkStatus swigEnum) {
    this.swigName = swigName;
    this.swigValue = swigEnum.swigValue;
    swigNext = this.swigValue+1;
  }

  private static BenchmarkStatus[] swigValues = { SMT_SATISFIABLE, SMT_UNSATISFIABLE, SMT_UNKNOWN };
  private static int swigNext = 0;
  private final int swigValue;
  private final String swigName;
}