#[repr(u32)]pub enum SortKind {
Show 14 variants
Uninterpreted,
Bool,
Int,
Real,
BV,
Array,
Datatype,
Relation,
FiniteDomain,
FloatingPoint,
RoundingMode,
Seq,
RE,
Unknown,
}
Expand description
The different kinds of Z3 types.
This corresponds to Z3_sort_kind
in the C API.
Variants§
Uninterpreted
This corresponds to Z3_UNINTERPRETED_SORT
in the C API.
Bool
This corresponds to Z3_BOOL_SORT
in the C API.
Int
This corresponds to Z3_INT_SORT
in the C API.
Real
This corresponds to Z3_REAL_SORT
in the C API.
BV
This corresponds to Z3_BV_SORT
in the C API.
Array
This corresponds to Z3_ARRAY_SORT
in the C API.
Datatype
This corresponds to Z3_DATATYPE_SORT
in the C API.
Relation
This corresponds to Z3_RELATION_SORT
in the C API.
FiniteDomain
This corresponds to Z3_FINITE_DOMAIN_SORT
in the C API.
FloatingPoint
This corresponds to Z3_FLOATING_POINT_SORT
in the C API.
RoundingMode
This corresponds to Z3_ROUNDING_MODE_SORT
in the C API.
Seq
This corresponds to Z3_SEQ_SORT
in the C API.
RE
This corresponds to Z3_RE_SORT
in the C API.
Unknown
This corresponds to Z3_UNKNOWN_SORT
in the C API.