Z3GlobalParameters

public enum Z3GlobalParameters

Contains static APIs for configuring global parameters for all Z3 contexts.

    • Restore the value of all global (and module) parameters. This command will not affect already created objects (such as tactics and solvers).

    Seealso

    getParameter(id:)

    Seealso

    setParameter(id:value:)

    Declaration

    Swift

    public static func resetAll()

  • Get a global (or module) parameter.

    Returns nil if the parameter value does not exist.

    Seealso

    resetAll()

    Seealso

    setParameter(id:value:)

    Remark

    This function cannot be invoked simultaneously from different threads without synchronization. The result string stored in param_value is stored in shared location.

    Declaration

    Swift

    public static func getParameter(id: String) -> String?

  • Set a global (or module) parameter. This setting is shared by all Z3 contexts.

    When a Z3 module is initialized it will use the value of these parameters when Z3_params objects are not provided.

    The name of parameter can be composed of characters [a-z][A-Z], digits [0-9], ‘-’ and ‘_’. The character ‘.’ is a delimiter (more later).

    The parameter names are case-insensitive. The character ‘-’ should be viewed as an “alias” for ‘_’. Thus, the following parameter names are considered equivalent: “pp.decimal-precision” and “PP.DECIMAL_PRECISION”.

    This function can be used to set parameters for a specific Z3 module. This can be done by using .. For example: setParameter(id: "pp.decimal", "true") will set the parameter “decimal” in the module “pp” to true.

    Seealso

    getParameter(id:)

    Seealso

    resetAll()

    Declaration

    Swift

    public static func setParameter(id: String, value: String)