Package com.microsoft.z3.enumerations

Enum Z3_error_code

java.lang.Object
java.lang.Enum<Z3_error_code>
com.microsoft.z3.enumerations.Z3_error_code
All Implemented Interfaces:
Serializable, Comparable<Z3_error_code>, java.lang.constant.Constable
public enum Z3_error_code extends Enum<Z3_error_code>
Z3_error_code

  • Enum Constant Details

    • Z3_OK

      public static final Z3_error_code Z3_OK

    • Z3_SORT_ERROR

      public static final Z3_error_code Z3_SORT_ERROR

    • Z3_IOB

      public static final Z3_error_code Z3_IOB

    • Z3_INVALID_ARG

      public static final Z3_error_code Z3_INVALID_ARG

    • Z3_PARSER_ERROR

      public static final Z3_error_code Z3_PARSER_ERROR

    • Z3_NO_PARSER

      public static final Z3_error_code Z3_NO_PARSER

    • Z3_INVALID_PATTERN

      public static final Z3_error_code Z3_INVALID_PATTERN

    • Z3_MEMOUT_FAIL

      public static final Z3_error_code Z3_MEMOUT_FAIL

    • Z3_FILE_ACCESS_ERROR

      public static final Z3_error_code Z3_FILE_ACCESS_ERROR

    • Z3_INTERNAL_FATAL

      public static final Z3_error_code Z3_INTERNAL_FATAL

    • Z3_INVALID_USAGE

      public static final Z3_error_code Z3_INVALID_USAGE

    • Z3_DEC_REF_ERROR

      public static final Z3_error_code Z3_DEC_REF_ERROR

    • Z3_EXCEPTION

      public static final Z3_error_code Z3_EXCEPTION

  • Method Details

    • values

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

    • valueOf

      public static Z3_error_code valueOf(String name)
      Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (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 type has no constant with the specified name
      NullPointerException - if the argument is null

    • fromInt

      public static final Z3_error_code fromInt(int v)

    • toInt

      public final int toInt()