Z3Params

public class Z3Params : Z3RefCountedObject

Parameter set used to configure many components such as: simplifiers, tactics, solvers, etc.

  • The context this Z3Params belongs

    Declaration

    Swift

    public let context: Z3Context

  • Add a Boolean parameter k with value v to the parameter set p.

    Declaration

    Swift

    public func setBool(_ symbol: Z3Symbol, _ value: Bool)

  • Add an unsigned parameter k with value v to the parameter set p.

    Declaration

    Swift

    public func setUInt(_ symbol: Z3Symbol, _ value: UInt32)

  • Add a double parameter k with value v to the parameter set p.

    Declaration

    Swift

    public func setDouble(_ symbol: Z3Symbol, _ value: Double)

  • Add a symbol parameter k with value v to the parameter set p.

    Declaration

    Swift

    public func setSymbol(_ symbol: Z3Symbol, _ value: Z3Symbol)

  • Convert a parameter set into a string. This function is mainly used for printing the contents of a parameter set.

    Declaration

    Swift

    public func toString() -> String

  • Validate this parameter set against the parameter description set d.

    The procedure invokes the error handler if self is invalid.

    Declaration

    Swift

    public func validate(_ d: Z3ParamDescrs)