Z3ParamDescrs
public class Z3ParamDescrs : Z3RefCountedObject
Provides a collection of parameter names, their types, default values and documentation strings. Solvers, tactics, and other objects accept different collection of parameters.
-
The context this
Z3ParamDescrs
belongsDeclaration
Swift
public let context: Z3Context
-
Return the kind associated with the given parameter name
n
.Declaration
Swift
public func getKind(_ n: Z3Symbol) -> Z3ParamKind
-
Return the number of parameters in the given parameter description set.
Declaration
Swift
public func getSize() -> UInt32
-
Return the name of the parameter at given index
i
.Precondition
i < getSize()
Declaration
Swift
public func getName(_ i: UInt32) -> Z3Symbol
-
Retrieve documentation string corresponding to parameter name
s
.Declaration
Swift
public func getDocumentation(_ s: Z3Symbol) -> String
-
Convert a parameter description set into a string. This function is mainly used for printing the contents of a parameter description set.
Declaration
Swift
public func toString(_ s: Z3Symbol) -> String