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 . | |
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 . | |
|
inline |
Definition at line 115 of file z3++.h.
|
inline |
Definition at line 116 of file z3++.h.
|
inline |
|
inline |
Set global parameter param
with string value
.
Definition at line 121 of file z3++.h.
|
inline |
Set global parameter param
with integer value
.
Definition at line 129 of file z3++.h.