Public Member Functions | |
params (context &c) | |
params (params const &s) | |
~params () | |
operator Z3_params () const | |
params & | operator= (params const &s) |
void | set (char const *k, bool b) |
void | set (char const *k, unsigned n) |
void | set (char const *k, double n) |
void | set (char const *k, symbol const &s) |
![]() | |
object (context &c) | |
object (object const &s) | |
context & | ctx () const |
void | check_error () const |
Friends | |
std::ostream & | operator<< (std::ostream &out, params const &p) |
Additional Inherited Members | |
![]() | |
context * | m_ctx |
Definition at line 387 of file z3++.h.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |