Public Member Functions | |
param_descrs (context &c, Z3_param_descrs d) | |
param_descrs (param_descrs const &o) | |
param_descrs & | operator= (param_descrs const &o) |
~param_descrs () | |
unsigned | size () |
symbol | name (unsigned i) |
Z3_param_kind | kind (symbol const &s) |
std::string | documentation (symbol const &s) |
std::string | to_string () const |
![]() | |
object (context &c) | |
object (object const &s) | |
context & | ctx () const |
void | check_error () const |
Static Public Member Functions | |
static param_descrs | simplify_param_descrs (context &c) |
Additional Inherited Members | |
![]() | |
context * | m_ctx |
|
inline |
|
inline |
|
inline |
|
inline |
Definition at line 378 of file z3++.h.
|
inline |
|
inline |
|
inline |
Definition at line 365 of file z3++.h.
|
inlinestatic |
|
inline |
|
inline |
Definition at line 379 of file z3++.h.
Referenced by z3::operator<<().