Z3_sort_kind class abstract

\brief The different kinds of Z3 types (See #Z3_get_sort_kind).

Constructors

Z3_sort_kind()

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