Package com.articulate.sigma.tp

Enum Class SZSStatus

java.lang.Object
java.lang.Enum<SZSStatus>
com.articulate.sigma.tp.SZSStatus
All Implemented Interfaces:
Serializable, Comparable<SZSStatus>, Constable
public enum SZSStatus extends Enum<SZSStatus>
Enumeration of SZS (TPTP Standard for System status values) statuses. Based on the TPTP SZS Ontology: https://tptp.org/UserDocs/SZSOntology/ These statuses are used to represent the outcome of automated theorem prover runs.

  • Enum Constant Details

    • THEOREM

      public static final SZSStatus THEOREM

    • UNSATISFIABLE

      public static final SZSStatus UNSATISFIABLE

    • SATISFIABLE

      public static final SZSStatus SATISFIABLE

    • COUNTER_SATISFIABLE

      public static final SZSStatus COUNTER_SATISFIABLE

    • EQUIVALENT

      public static final SZSStatus EQUIVALENT

    • EQUI_SATISFIABLE

      public static final SZSStatus EQUI_SATISFIABLE

    • TAUTOLOGY

      public static final SZSStatus TAUTOLOGY

    • CONTRADICTORY

      public static final SZSStatus CONTRADICTORY

    • UNKNOWN

      public static final SZSStatus UNKNOWN

    • GAVE_UP

      public static final SZSStatus GAVE_UP

    • INCOMPLETE

      public static final SZSStatus INCOMPLETE

    • STOPPED

      public static final SZSStatus STOPPED

    • TIMEOUT

      public static final SZSStatus TIMEOUT

    • RESOURCE_OUT

      public static final SZSStatus RESOURCE_OUT

    • USER

      public static final SZSStatus USER

    • INPUT_ERROR

      public static final SZSStatus INPUT_ERROR

    • SYNTAX_ERROR

      public static final SZSStatus SYNTAX_ERROR

    • TYPE_ERROR

      public static final SZSStatus TYPE_ERROR

    • SEMANTIC_ERROR

      public static final SZSStatus SEMANTIC_ERROR

    • OS_ERROR

      public static final SZSStatus OS_ERROR

    • INAPPROPRIATE

      public static final SZSStatus INAPPROPRIATE

    • ERROR

      public static final SZSStatus ERROR

    • NOT_RUN

      public static final SZSStatus NOT_RUN

    • CRASHED

      public static final SZSStatus CRASHED

    • OUTPUT_PARSE_ERROR

      public static final SZSStatus OUTPUT_PARSE_ERROR

  • Method Details

    • values

      public static SZSStatus[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared

    • valueOf

      public static SZSStatus valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null

    • getTptpName

      public String getTptpName()
      Returns:
      The TPTP standard name for this status (e.g., "Theorem", "Timeout")

    • getCategory

      public SZSStatus.Category getCategory()
      Returns:
      The category this status belongs to

    • getDescription

      public String getDescription()
      Returns:
      Human-readable description of this status

    • isSuccess

      public boolean isSuccess()
      Returns:
      true if this status indicates successful proof/determination

    • isFailure

      public boolean isFailure()
      Returns:
      true if this status indicates failure (timeout, resource limit, etc.)

    • isError

      public boolean isError()
      Returns:
      true if this status indicates an error occurred

    • isUnknown

      public boolean isUnknown()
      Returns:
      true if this status indicates unknown outcome

    • fromString

      public static SZSStatus fromString(String s)
      Parse a string to an SZSStatus enum value. Handles various formats including with/without "SZS status" prefix.
      Parameters:
      s - The string to parse (case-insensitive)
      Returns:
      The matching SZSStatus, or UNKNOWN if not recognized

    • fromExitCode

      public static SZSStatus fromExitCode(int exitCode, boolean timedOut)
      Determine SZS status from process exit code and timeout flag. Used when no explicit SZS status is found in output.
      Parameters:
      exitCode - The process exit code
      timedOut - Whether the process timed out
      Returns:
      Inferred SZSStatus

    • getCssClass

      public String getCssClass()
      Get CSS class name for UI styling based on category

    • toString

      public String toString()
      Overrides:
      toString in class Enum<SZSStatus>