C# Class Microsoft.Z3.Global

Global functions for Z3.

This (static) class contains functions that effect the behaviour of Z3 globally across contexts, etc.

Public Methods

Method	Description
GetParameter ( string id ) : string	Get a global (or module) parameter. Returns null if the parameter does not exist. The caller must invoke #Z3_global_param_del_value to delete the value returned at \c param_value. This function cannot be invoked simultaneously from different threads without synchronization. The result string stored in param_value is stored in a shared location.
ResetParameters ( ) : void	Restore the value of all global (and module) parameters. This command will not affect already created objects (such as tactics and solvers)
SetParameter ( string id, string value ) : void	Set a global (or module) parameter, which 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 [module-name].[parameter-name]. For example: Z3_global_param_set('pp.decimal', 'true') will set the parameter "decimal" in the module "pp" to true.

Method Details

GetParameter() public static method

Get a global (or module) parameter.

Returns null if the parameter does not exist. The caller must invoke #Z3_global_param_del_value to delete the value returned at \c param_value. This function cannot be invoked simultaneously from different threads without synchronization. The result string stored in param_value is stored in a shared location.

public static GetParameter ( string id ) : string
id	string
return	string

ResetParameters() public static method

Restore the value of all global (and module) parameters.

This command will not affect already created objects (such as tactics and solvers)

public static ResetParameters ( ) : void
return	void

SetParameter() public static method

Set a global (or module) parameter, which 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 [module-name].[parameter-name]. For example: Z3_global_param_set('pp.decimal', 'true') will set the parameter "decimal" in the module "pp" to true.

public static SetParameter ( string id, string value ) : void
id	string
value	string
return	void