Z3ParameterKind

public extension Z3ParameterKind
  • int

    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
  • ast

    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