params Class Reference

Inheritance diagram for params:

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)

---

Detailed Description

Definition at line 298 of file z3++.h.

---

Constructor & Destructor Documentation

params

(

context &

c

)

[inline]

Definition at line 301 of file z3++.h.

:object(c) { m_params = Z3_mk_params(c); Z3_params_inc_ref(ctx(), m_params); }

params

(

params const &

s

)

[inline]

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); }

---

Member Function Documentation

operator Z3_params

(

)

const [inline]

Definition at line 304 of file z3++.h.

{ return m_params; }

params& operator=

(

params const &

s

)

[inline]

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); }

void set	(	char const *	k,
		symbol const &	s
	)		[inline]

Definition at line 315 of file z3++.h.

{ Z3_params_set_symbol(ctx(), m_params, ctx().str_symbol(k), s); }

---

Friends And Related Function Documentation

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; 
        }