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

}