[−][src]Function z3_sys::Z3_global_param_set
pub unsafe extern "C" fn Z3_global_param_set(
param_id: Z3_string,
param_value: Z3_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:
Z3_global_param_set('pp.decimal', 'true')
will set the parameter "decimal"
in the module "pp"
to true.