Home • Docs • Download • Mail • FAQ • Awards • Status • MSR

Z3 An Efficient SMT Solver

Microsoft::Z3::Config

Config Class Reference
[Managed (.NET) API]

Configuration. More...


Public Member Functions

 Config ()
 ~Config ()
void SetParamValue (String^name, String^value)
 Set parameter to specified value.

Detailed Description

Configuration.

Configuration can be set prior to creating an instance of the Z3 Context.

To set a parameter create an instance of the Params class and call the SetParamValue() method.

The set of legal parameters can be found by executing z3.exe /ini?

Definition at line 350 of file Microsoft.Z3.h.

Constructor & Destructor Documentation

Config (  ) 

Create configuration context. Create a configuration context to supply configurations to the Z3 Context. Callers must explicitly close the configuration in order to collect the resources allocated in the configuration.

~Config (  ) 

Configuration destructor.

Member Function Documentation

void SetParamValue ( String^  name,
String^  value 
)

Set parameter to specified value.

The list of all configuration parameters can be obtained using the Z3 executable:

           z3.exe /ini?

Referenced by TestManaged::mk_context(), TestManaged::quantifier_example1(), and TestManaged::quantifier_example1_abs().

Last modified Wed Sep 3 08:54:19 2008