Enum z3_sys::SortKind [−][src]
#[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
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