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) |
Friends | |
std::ostream & | operator<< (std::ostream &out, params const &p) |
Definition at line 301 of file z3++.h.
:object(c) { m_params = Z3_mk_params(c); Z3_params_inc_ref(ctx(), m_params); }
Definition at line 302 of file z3++.h.
:object(s), m_params(s.m_params) { Z3_params_inc_ref(ctx(), m_params); }
~params | ( | ) | [inline] |
Definition at line 303 of file z3++.h.
{ Z3_params_dec_ref(ctx(), m_params); }
Definition at line 305 of file z3++.h.
{ Z3_params_inc_ref(s.ctx(), s.m_params); Z3_params_dec_ref(ctx(), m_params); m_ctx = s.m_ctx; m_params = s.m_params; return *this; }
void set | ( | char const * | k, |
bool | b | ||
) | [inline] |
Definition at line 312 of file z3++.h.
{ Z3_params_set_bool(ctx(), m_params, ctx().str_symbol(k), b); }
void set | ( | char const * | k, |
unsigned | n | ||
) | [inline] |
Definition at line 313 of file z3++.h.
{ Z3_params_set_uint(ctx(), m_params, ctx().str_symbol(k), n); }
void set | ( | char const * | k, |
double | n | ||
) | [inline] |
Definition at line 314 of file z3++.h.
{ Z3_params_set_double(ctx(), m_params, ctx().str_symbol(k), n); }
Definition at line 315 of file z3++.h.
{ Z3_params_set_symbol(ctx(), m_params, ctx().str_symbol(k), s); }
std::ostream& operator<< | ( | std::ostream & | out, |
params const & | p | ||
) | [friend] |
Definition at line 316 of file z3++.h.
{ out << Z3_params_to_string(p.ctx(), p); return out; }