#include <z3++.h>
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 () override | |
unsigned | size () |
symbol | name (unsigned i) |
Z3_param_kind | kind (symbol const &s) |
std::string | documentation (symbol const &s) |
std::string | to_string () const |
Public Member Functions inherited from object | |
object (context &c) | |
virtual | ~object ()=default |
context & | ctx () const |
Z3_error_code | check_error () const |
Static Public Member Functions | |
static param_descrs | simplify_param_descrs (context &c) |
static param_descrs | global_param_descrs (context &c) |
Additional Inherited Members | |
Protected Attributes inherited from object | |
context * | m_ctx |
|
inline |
Definition at line 503 of file z3++.h.
Referenced by global_param_descrs(), operator=(), param_descrs(), and simplify_param_descrs().
|
inline |
Definition at line 504 of file z3++.h.
|
inlineoverride |
Definition at line 512 of file z3++.h.
|
inline |
Definition at line 519 of file z3++.h.
|
inlinestatic |
|
inline |
|
inline |
|
inline |
Definition at line 505 of file z3++.h.
|
inlinestatic |
|
inline |
|
inline |
Definition at line 520 of file z3++.h.
Referenced by z3::operator<<().