Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Modules Pages
Public Member Functions
config Class Reference

Z3 global configuration object. More...

Public Member Functions

 config ()
 
 ~config ()
 
 operator Z3_config () const
 
void set (char const *param, char const *value)
 Set global parameter param with string value. More...
 
void set (char const *param, bool value)
 Set global parameter param with Boolean value. More...
 
void set (char const *param, int value)
 Set global parameter param with integer value. More...
 

Detailed Description

Z3 global configuration object.

Definition at line 93 of file z3++.h.

Constructor & Destructor Documentation

config ( )
inline

Definition at line 98 of file z3++.h.

98 { m_cfg = Z3_mk_config(); }
Z3_config Z3_API Z3_mk_config(void)
Create a configuration object for the Z3 context object.
~config ( )
inline

Definition at line 99 of file z3++.h.

99 { Z3_del_config(m_cfg); }
void Z3_API Z3_del_config(__in Z3_config c)
Delete the given configuration object.

Member Function Documentation

operator Z3_config ( ) const
inline

Definition at line 100 of file z3++.h.

100 { return m_cfg; }
void set ( char const *  param,
char const *  value 
)
inline

Set global parameter param with string value.

Definition at line 104 of file z3++.h.

104 { Z3_set_param_value(m_cfg, param, value); }
void Z3_API Z3_set_param_value(__in Z3_config c, __in Z3_string param_id, __in Z3_string param_value)
Set a configuration parameter.
void set ( char const *  param,
bool  value 
)
inline

Set global parameter param with Boolean value.

Definition at line 108 of file z3++.h.

108 { Z3_set_param_value(m_cfg, param, value ? "true" : "false"); }
void Z3_API Z3_set_param_value(__in Z3_config c, __in Z3_string param_id, __in Z3_string param_value)
Set a configuration parameter.
void set ( char const *  param,
int  value 
)
inline

Set global parameter param with integer value.

Definition at line 112 of file z3++.h.

112  {
113  std::ostringstream oss;
114  oss << value;
115  Z3_set_param_value(m_cfg, param, oss.str().c_str());
116  }
void Z3_API Z3_set_param_value(__in Z3_config c, __in Z3_string param_id, __in Z3_string param_value)
Set a configuration parameter.