Z3ParamKind
public extension Z3ParamKind
-
integer parameters.
Declaration
Swift
static let pkUInt: Z3_param_kind
-
boolean parameters.
Declaration
Swift
static let pkBool: Z3_param_kind
-
double parameters.
Declaration
Swift
static let pkDouble: Z3_param_kind
-
symbol parameters.
Declaration
Swift
static let pkSymbol: Z3_param_kind
-
string parameters.
Declaration
Swift
static let pkString: Z3_param_kind
-
all internal parameter kinds which are not exposed in the API.
Declaration
Swift
static let pkOther: Z3_param_kind
-
invalid parameter.
Declaration
Swift
static let pkInvalid: Z3_param_kind