Z3ParameterKind
public extension Z3ParameterKind
-
is used for integer parameters.
Declaration
Swift
static let int: Z3_parameter_kind
-
is used for double parameters.
Declaration
Swift
static let double: Z3_parameter_kind
-
is used for parameters that are rational numbers.
Declaration
Swift
static let rational: Z3_parameter_kind
-
is used for parameters that are symbols.
Declaration
Swift
static let symbol: Z3_parameter_kind
-
is used for sort parameters.
Declaration
Swift
static let sort: Z3_parameter_kind
-
is used for expression parameters.
Declaration
Swift
static let ast: Z3_parameter_kind
-
is used for function declaration parameters.
Declaration
Swift
static let funcDecl: Z3_parameter_kind