Z3_param_kind class abstract

\brief The different kinds of parameters that can be associated with parameter sets. (see #Z3_mk_params).

  • Z3_PK_UINT integer parameters.
  • Z3_PK_BOOL boolean parameters.
  • Z3_PK_DOUBLE double parameters.
  • Z3_PK_SYMBOL symbol parameters.
  • Z3_PK_STRING string parameters.
  • Z3_PK_OTHER all internal parameter kinds which are not exposed in the API.
  • Z3_PK_INVALID invalid parameter.

Constructors

Z3_param_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

PK_BOOL → const int
PK_DOUBLE → const int
PK_INVALID → const int
PK_OTHER → const int
PK_STRING → const int
PK_SYMBOL → const int
PK_UINT → const int