SortKind

Every Sort has an associated kind, represented as enum cvc5.SortKind.

class cvc5.SortKind(*values)

The SortKind enum

ABSTRACT_SORT = 1

ARRAY_SORT = 2

BAG_SORT = 3

BITVECTOR_SORT = 5

BOOLEAN_SORT = 4

DATATYPE_SORT = 6

FINITE_FIELD_SORT = 7

FLOATINGPOINT_SORT = 8

FUNCTION_SORT = 9

INTEGER_SORT = 10

INTERNAL_SORT_KIND = -2

LAST_SORT_KIND = 20

NULLABLE_SORT = 18

NULL_SORT = 0

REAL_SORT = 11

REGLAN_SORT = 12

ROUNDINGMODE_SORT = 13

SEQUENCE_SORT = 14

SET_SORT = 15

STRING_SORT = 16

TUPLE_SORT = 17

UNDEFINED_SORT_KIND = -1

UNINTERPRETED_SORT = 19