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 . | |
void | set (char const *param, bool value) |
Set global parameter param with Boolean value . | |
void | set (char const *param, int value) |
Set global parameter param with integer value . |
config | ( | ) | [inline] |
Definition at line 98 of file z3++.h.
{ m_cfg = Z3_mk_config(); }
~config | ( | ) | [inline] |
Definition at line 99 of file z3++.h.
{ Z3_del_config(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.
{ Z3_set_param_value(m_cfg, param, value); }
void set | ( | char const * | param, |
bool | value | ||
) | [inline] |
Set global parameter param
with Boolean value
.
Definition at line 108 of file z3++.h.
{ Z3_set_param_value(m_cfg, param, value ? "true" : "false"); }
void set | ( | char const * | param, |
int | value | ||
) | [inline] |
Set global parameter param
with integer value
.
Definition at line 112 of file z3++.h.
{ std::ostringstream oss; oss << value; Z3_set_param_value(m_cfg, param, oss.str().c_str()); }