Enum SortKind

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<SortKind>

    public enum SortKind
    extends java.lang.Enum<SortKind>
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static SortKind fromInt​(int value)  
      int getValue()  
      static SortKind valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static SortKind[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      • Methods inherited from class java.lang.Enum

        clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Enum Constant Detail

      • INTERNAL_SORT_KIND

        public static final SortKind INTERNAL_SORT_KIND
        Internal kind. This kind serves as an abstraction for internal kinds that are not exposed via the API but may appear in terms returned by API functions, e.g., when querying the simplified form of a term.
        Note:
        Should never be created via the API.
      • UNDEFINED_SORT_KIND

        public static final SortKind UNDEFINED_SORT_KIND
        Undefined kind.
        Note:
        Should never be exposed or created via the API.
      • NULL_SORT

        public static final SortKind NULL_SORT
        Null kind. The kind of a null sort (Sort()).
        Note:
        May not be explicitly created via API functions other than Sort().
      • ABSTRACT_SORT

        public static final SortKind ABSTRACT_SORT
        An abstract sort. An abstract sort represents a sort whose parameters or argument sorts are unspecified. For example, `mkAbstractSort(BITVECTOR_SORT)` returns a sort that represents the sort of bit-vectors whose bit-width is unspecified.
      • ARRAY_SORT

        public static final SortKind ARRAY_SORT
        An array sort, whose argument sorts are the index and element sorts of the array.
      • BAG_SORT

        public static final SortKind BAG_SORT
        A bag sort, whose argument sort is the element sort of the bag.
      • BITVECTOR_SORT

        public static final SortKind BITVECTOR_SORT
        A bit-vector sort, parameterized by an integer denoting its bit-width.
      • FLOATINGPOINT_SORT

        public static final SortKind FLOATINGPOINT_SORT
        A floating-point sort, parameterized by two integers denoting its exponent and significand bit-widths.
      • SEQUENCE_SORT

        public static final SortKind SEQUENCE_SORT
        A sequence sort, whose argument sort is the element sort of the sequence.
      • SET_SORT

        public static final SortKind SET_SORT
        A set sort, whose argument sort is the element sort of the set.
      • TUPLE_SORT

        public static final SortKind TUPLE_SORT
        A tuple sort, whose argument sorts denote the sorts of the direct children of the tuple.
      • NULLABLE_SORT

        public static final SortKind NULLABLE_SORT
        A nullable sort, whose argument sort denotes the sort of the direct child of the nullable.
      • LAST_SORT_KIND

        public static final SortKind LAST_SORT_KIND
        Marks the upper-bound of this enumeration.
    • Method Detail

      • values

        public static SortKind[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (SortKind c : SortKind.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static SortKind valueOf​(java.lang.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:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • getValue

        public int getValue()