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