Z3 global configuration object. More...
#include <z3++.h>
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... | |
|
inline |
Definition at line 108 of file z3++.h.
|
inline |
Definition at line 109 of file z3++.h.
|
inline |
|
inline |
Set global parameter param
with string value
.
Definition at line 114 of file z3++.h.
|
inline |
Set global parameter param
with integer value
.
Definition at line 122 of file z3++.h.