Z3Params
public class Z3Params : Z3RefCountedObject
Parameter set used to configure many components such as: simplifiers, tactics, solvers, etc.
-
The context this
Z3Params
belongsDeclaration
Swift
public let context: Z3Context
-
Add a Boolean parameter
k
with valuev
to the parameter setp
.Declaration
Swift
public func setBool(_ symbol: Z3Symbol, _ value: Bool)
-
Add an unsigned parameter
k
with valuev
to the parameter setp
.Declaration
Swift
public func setUInt(_ symbol: Z3Symbol, _ value: UInt32)
-
Add a double parameter
k
with valuev
to the parameter setp
.Declaration
Swift
public func setDouble(_ symbol: Z3Symbol, _ value: Double)
-
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)