#include <z3++.h>
Definition at line 525 of file z3++.h.
◆ params() [1/2]
Definition at line 528 of file z3++.h.
Z3_params Z3_API Z3_mk_params(Z3_context c)
Create a Z3 (empty) parameter set. Starting at Z3 4.0, parameter sets are used to configure many comp...
void Z3_API Z3_params_inc_ref(Z3_context c, Z3_params p)
Increment the reference counter of the given parameter set.
Referenced by operator<<, operator=(), and params().
◆ params() [2/2]
◆ ~params()
Definition at line 530 of file z3++.h.
void Z3_API Z3_params_dec_ref(Z3_context c, Z3_params p)
Decrement the reference counter of the given parameter set.
◆ operator Z3_params()
operator Z3_params |
( |
| ) |
const |
|
inline |
◆ operator=()
Definition at line 532 of file z3++.h.
532 {
535 object::operator=(s);
536 m_params = s.m_params;
537 return *this;
538 }
◆ set() [1/5]
void set |
( |
char const * | k, |
|
|
bool | b ) |
|
inline |
◆ set() [2/5]
void set |
( |
char const * | k, |
|
|
char const * | s ) |
|
inline |
Definition at line 543 of file z3++.h.
void Z3_API Z3_params_set_symbol(Z3_context c, Z3_params p, Z3_symbol k, Z3_symbol v)
Add a symbol parameter k with value v to the parameter set p.
◆ set() [3/5]
void set |
( |
char const * | k, |
|
|
double | n ) |
|
inline |
Definition at line 541 of file z3++.h.
void Z3_API Z3_params_set_double(Z3_context c, Z3_params p, Z3_symbol k, double v)
Add a double parameter k with value v to the parameter set p.
◆ set() [4/5]
void set |
( |
char const * | k, |
|
|
symbol const & | s ) |
|
inline |
◆ set() [5/5]
void set |
( |
char const * | k, |
|
|
unsigned | n ) |
|
inline |
Definition at line 540 of file z3++.h.
void Z3_API Z3_params_set_uint(Z3_context c, Z3_params p, Z3_symbol k, unsigned v)
Add a unsigned parameter k with value v to the parameter set p.
◆ operator<<
std::ostream & operator<< |
( |
std::ostream & | out, |
|
|
params const & | p ) |
|
friend |
Definition at line 547 of file z3++.h.
547 {
549 }
Z3_string Z3_API Z3_params_to_string(Z3_context c, Z3_params p)
Convert a parameter set into a string. This function is mainly used for printing the contents of a pa...