Z3
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(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(Z3_config c, Z3_string param_id, 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(Z3_config c, Z3_string param_id, 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(Z3_config c, Z3_string param_id, Z3_string param_value)
Set a configuration parameter.