Enum z3::SortKind [−][src]
#[repr(u32)] pub enum SortKind {}Show variants
Uninterpreted, Bool, Int, Real, BV, Array, Datatype, Relation, FiniteDomain, FloatingPoint, RoundingMode, Seq, RE, Unknown,
Expand description
The different kinds of Z3 types (See Z3_get_sort_kind
).
This corresponds to Z3_sort_kind
in the C API.
Variants
This corresponds to Z3_UINTERPRETED_SORT
in the C API.
This corresponds to Z3_BOOL_SORT
in the C API.
This corresponds to Z3_INT_SORT
in the C API.
This corresponds to Z3_REAL_SORT
in the C API.
This corresponds to Z3_BV_SORT
in the C API.
This corresponds to Z3_ARRAY_SORT
in the C API.
This corresponds to Z3_DATATYPE_SORT
in the C API.
This corresponds to Z3_RELATION_SORT
in the C API.
This corresponds to Z3_FINITE_DOMAIN_SORT
in the C API.
This corresponds to Z3_FLOATING_POINT_SORT
in the C API.
This corresponds to Z3_ROUNDING_MODE_SORT
in the C API.
This corresponds to Z3_SEQ_SORT
in the C API.
This corresponds to Z3_RE_SORT
in the C API.
This corresponds to Z3_UNKNOWN_SORT
in the C API.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for SortKind
impl UnwindSafe for SortKind
Blanket Implementations
Mutably borrows from an owned value. Read more