Z3_sort_kind class abstract
\brief The different kinds of Z3 types (See #Z3_get_sort_kind).
Constructors
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
Constants
- ARRAY_SORT → const int
- BOOL_SORT → const int
- BV_SORT → const int
- CHAR_SORT → const int
- DATATYPE_SORT → const int
- FINITE_DOMAIN_SORT → const int
- FLOATING_POINT_SORT → const int
- INT_SORT → const int
- RE_SORT → const int
- REAL_SORT → const int
- RELATION_SORT → const int
- ROUNDING_MODE_SORT → const int
- SEQ_SORT → const int
- TYPE_VAR → const int
- UNINTERPRETED_SORT → const int
- UNKNOWN_SORT → const int