Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Public Member Functions | Friends
params Class Reference
+ Inheritance diagram for params:

Public Member Functions

 params (context &c)
 params (params const &s)
 ~params ()
 operator Z3_params () const
paramsoperator= (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; 
        }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines