Please wait. This can take some minutes ...
Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
edu.nyu.acsys.CVC4.Result 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 class Result {
private transient long swigCPtr;
protected transient boolean swigCMemOwn;
protected Result(long cPtr, boolean cMemoryOwn) {
swigCMemOwn = cMemoryOwn;
swigCPtr = cPtr;
}
protected static long getCPtr(Result obj) {
return (obj == null) ? 0 : obj.swigCPtr;
}
@SuppressWarnings("deprecation")
protected void finalize() {
delete();
}
public synchronized void delete() {
if (swigCPtr != 0) {
if (swigCMemOwn) {
swigCMemOwn = false;
CVC4JNI.delete_Result(swigCPtr);
}
swigCPtr = 0;
}
}
public Result() {
this(CVC4JNI.new_Result__SWIG_0(), true);
}
public Result(Result.Sat s, String inputName) {
this(CVC4JNI.new_Result__SWIG_1(s.swigValue(), inputName), true);
}
public Result(Result.Sat s) {
this(CVC4JNI.new_Result__SWIG_2(s.swigValue()), true);
}
public Result(Result.Validity v, String inputName) {
this(CVC4JNI.new_Result__SWIG_3(v.swigValue(), inputName), true);
}
public Result(Result.Validity v) {
this(CVC4JNI.new_Result__SWIG_4(v.swigValue()), true);
}
public Result(Result.Sat s, Result.UnknownExplanation unknownExplanation, String inputName) {
this(CVC4JNI.new_Result__SWIG_5(s.swigValue(), unknownExplanation.swigValue(), inputName), true);
}
public Result(Result.Sat s, Result.UnknownExplanation unknownExplanation) {
this(CVC4JNI.new_Result__SWIG_6(s.swigValue(), unknownExplanation.swigValue()), true);
}
public Result(Result.Validity v, Result.UnknownExplanation unknownExplanation, String inputName) {
this(CVC4JNI.new_Result__SWIG_7(v.swigValue(), unknownExplanation.swigValue(), inputName), true);
}
public Result(Result.Validity v, Result.UnknownExplanation unknownExplanation) {
this(CVC4JNI.new_Result__SWIG_8(v.swigValue(), unknownExplanation.swigValue()), true);
}
public Result(String s, String inputName) {
this(CVC4JNI.new_Result__SWIG_9(s, inputName), true);
}
public Result(String s) {
this(CVC4JNI.new_Result__SWIG_10(s), true);
}
public Result(Result r, String inputName) {
this(CVC4JNI.new_Result__SWIG_11(Result.getCPtr(r), r, inputName), true);
}
public Result.Sat isSat() {
return Result.Sat.swigToEnum(CVC4JNI.Result_isSat(swigCPtr, this));
}
public Result.Validity isValid() {
return Result.Validity.swigToEnum(CVC4JNI.Result_isValid(swigCPtr, this));
}
public boolean isUnknown() {
return CVC4JNI.Result_isUnknown(swigCPtr, this);
}
public Result.Type getType() {
return Result.Type.swigToEnum(CVC4JNI.Result_getType(swigCPtr, this));
}
public boolean isNull() {
return CVC4JNI.Result_isNull(swigCPtr, this);
}
public Result.UnknownExplanation whyUnknown() {
return Result.UnknownExplanation.swigToEnum(CVC4JNI.Result_whyUnknown(swigCPtr, this));
}
public boolean equals(Result r) {
return CVC4JNI.Result_equals(swigCPtr, this, Result.getCPtr(r), r);
}
public Result asSatisfiabilityResult() {
return new Result(CVC4JNI.Result_asSatisfiabilityResult(swigCPtr, this), true);
}
public Result asValidityResult() {
return new Result(CVC4JNI.Result_asValidityResult(swigCPtr, this), true);
}
public String toString() {
return CVC4JNI.Result_toString(swigCPtr, this);
}
public String getInputName() {
return CVC4JNI.Result_getInputName(swigCPtr, this);
}
public void toStream(java.io.OutputStream out, OutputLanguage language) {
edu.nyu.acsys.CVC4.JavaOutputStreamAdapter tempout = new edu.nyu.acsys.CVC4.JavaOutputStreamAdapter();
try {
CVC4JNI.Result_toStream(swigCPtr, this, edu.nyu.acsys.CVC4.JavaOutputStreamAdapter.getCPtr(tempout), language.swigValue());
} finally {
new java.io.PrintStream(out).print(tempout.toString());
}
}
public void toStreamSmt2(java.io.OutputStream out) {
edu.nyu.acsys.CVC4.JavaOutputStreamAdapter tempout = new edu.nyu.acsys.CVC4.JavaOutputStreamAdapter();
try {
CVC4JNI.Result_toStreamSmt2(swigCPtr, this, edu.nyu.acsys.CVC4.JavaOutputStreamAdapter.getCPtr(tempout));
} finally {
new java.io.PrintStream(out).print(tempout.toString());
}
}
public void toStreamTptp(java.io.OutputStream out) {
edu.nyu.acsys.CVC4.JavaOutputStreamAdapter tempout = new edu.nyu.acsys.CVC4.JavaOutputStreamAdapter();
try {
CVC4JNI.Result_toStreamTptp(swigCPtr, this, edu.nyu.acsys.CVC4.JavaOutputStreamAdapter.getCPtr(tempout));
} finally {
new java.io.PrintStream(out).print(tempout.toString());
}
}
public void toStreamDefault(java.io.OutputStream out) {
edu.nyu.acsys.CVC4.JavaOutputStreamAdapter tempout = new edu.nyu.acsys.CVC4.JavaOutputStreamAdapter();
try {
CVC4JNI.Result_toStreamDefault(swigCPtr, this, edu.nyu.acsys.CVC4.JavaOutputStreamAdapter.getCPtr(tempout));
} finally {
new java.io.PrintStream(out).print(tempout.toString());
}
}
public final static class Sat {
public final static Result.Sat UNSAT = new Result.Sat("UNSAT", CVC4JNI.Result_UNSAT_get());
public final static Result.Sat SAT = new Result.Sat("SAT", CVC4JNI.Result_SAT_get());
public final static Result.Sat SAT_UNKNOWN = new Result.Sat("SAT_UNKNOWN", CVC4JNI.Result_SAT_UNKNOWN_get());
public final int swigValue() {
return swigValue;
}
public String toString() {
return swigName;
}
public static Sat 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 " + Sat.class + " with value " + swigValue);
}
private Sat(String swigName) {
this.swigName = swigName;
this.swigValue = swigNext++;
}
private Sat(String swigName, int swigValue) {
this.swigName = swigName;
this.swigValue = swigValue;
swigNext = swigValue+1;
}
private Sat(String swigName, Sat swigEnum) {
this.swigName = swigName;
this.swigValue = swigEnum.swigValue;
swigNext = this.swigValue+1;
}
private static Sat[] swigValues = { UNSAT, SAT, SAT_UNKNOWN };
private static int swigNext = 0;
private final int swigValue;
private final String swigName;
}
public final static class Validity {
public final static Result.Validity INVALID = new Result.Validity("INVALID", CVC4JNI.Result_INVALID_get());
public final static Result.Validity VALID = new Result.Validity("VALID", CVC4JNI.Result_VALID_get());
public final static Result.Validity VALIDITY_UNKNOWN = new Result.Validity("VALIDITY_UNKNOWN", CVC4JNI.Result_VALIDITY_UNKNOWN_get());
public final int swigValue() {
return swigValue;
}
public String toString() {
return swigName;
}
public static Validity 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 " + Validity.class + " with value " + swigValue);
}
private Validity(String swigName) {
this.swigName = swigName;
this.swigValue = swigNext++;
}
private Validity(String swigName, int swigValue) {
this.swigName = swigName;
this.swigValue = swigValue;
swigNext = swigValue+1;
}
private Validity(String swigName, Validity swigEnum) {
this.swigName = swigName;
this.swigValue = swigEnum.swigValue;
swigNext = this.swigValue+1;
}
private static Validity[] swigValues = { INVALID, VALID, VALIDITY_UNKNOWN };
private static int swigNext = 0;
private final int swigValue;
private final String swigName;
}
public final static class Type {
public final static Result.Type TYPE_SAT = new Result.Type("TYPE_SAT");
public final static Result.Type TYPE_VALIDITY = new Result.Type("TYPE_VALIDITY");
public final static Result.Type TYPE_NONE = new Result.Type("TYPE_NONE");
public final int swigValue() {
return swigValue;
}
public String toString() {
return swigName;
}
public static Type 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 " + Type.class + " with value " + swigValue);
}
private Type(String swigName) {
this.swigName = swigName;
this.swigValue = swigNext++;
}
private Type(String swigName, int swigValue) {
this.swigName = swigName;
this.swigValue = swigValue;
swigNext = swigValue+1;
}
private Type(String swigName, Type swigEnum) {
this.swigName = swigName;
this.swigValue = swigEnum.swigValue;
swigNext = this.swigValue+1;
}
private static Type[] swigValues = { TYPE_SAT, TYPE_VALIDITY, TYPE_NONE };
private static int swigNext = 0;
private final int swigValue;
private final String swigName;
}
public final static class UnknownExplanation {
public final static Result.UnknownExplanation REQUIRES_FULL_CHECK = new Result.UnknownExplanation("REQUIRES_FULL_CHECK");
public final static Result.UnknownExplanation INCOMPLETE = new Result.UnknownExplanation("INCOMPLETE");
public final static Result.UnknownExplanation TIMEOUT = new Result.UnknownExplanation("TIMEOUT");
public final static Result.UnknownExplanation RESOURCEOUT = new Result.UnknownExplanation("RESOURCEOUT");
public final static Result.UnknownExplanation MEMOUT = new Result.UnknownExplanation("MEMOUT");
public final static Result.UnknownExplanation INTERRUPTED = new Result.UnknownExplanation("INTERRUPTED");
public final static Result.UnknownExplanation NO_STATUS = new Result.UnknownExplanation("NO_STATUS");
public final static Result.UnknownExplanation UNSUPPORTED = new Result.UnknownExplanation("UNSUPPORTED");
public final static Result.UnknownExplanation OTHER = new Result.UnknownExplanation("OTHER");
public final static Result.UnknownExplanation UNKNOWN_REASON = new Result.UnknownExplanation("UNKNOWN_REASON");
public final int swigValue() {
return swigValue;
}
public String toString() {
return swigName;
}
public static UnknownExplanation 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 " + UnknownExplanation.class + " with value " + swigValue);
}
private UnknownExplanation(String swigName) {
this.swigName = swigName;
this.swigValue = swigNext++;
}
private UnknownExplanation(String swigName, int swigValue) {
this.swigName = swigName;
this.swigValue = swigValue;
swigNext = swigValue+1;
}
private UnknownExplanation(String swigName, UnknownExplanation swigEnum) {
this.swigName = swigName;
this.swigValue = swigEnum.swigValue;
swigNext = this.swigValue+1;
}
private static UnknownExplanation[] swigValues = { REQUIRES_FULL_CHECK, INCOMPLETE, TIMEOUT, RESOURCEOUT, MEMOUT, INTERRUPTED, NO_STATUS, UNSUPPORTED, OTHER, UNKNOWN_REASON };
private static int swigNext = 0;
private final int swigValue;
private final String swigName;
}
}