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;
}