Z3_symbol_kind class abstract

\brief The different kinds of symbol. In Z3, a symbol can be represented using integers and strings (See #Z3_get_symbol_kind).

\sa Z3_mk_int_symbol \sa Z3_mk_string_symbol

Constructors

Z3_symbol_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

INT_SYMBOL → const int
STRING_SYMBOL → const int