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 belongs

    Declaration

    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