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 param_descrs::global_param_descrs(), and param_descrs::simplify_param_descrs().
|
inline |
|
inlineoverride |
|
inline |
Definition at line 519 of file z3++.h.
|
inlinestatic |
|
inline |
Definition at line 518 of file z3++.h.
Referenced by ArithSortRef::is_int(), and ArithSortRef::is_real().
|
inline |
Definition at line 517 of file z3++.h.
Referenced by Datatype::__deepcopy__(), and Datatype::__repr__().
|
inline |
|
inlinestatic |
|
inline |
Definition at line 516 of file z3++.h.
Referenced by ParamDescrsRef::__len__(), Goal::__len__(), BitVecNumRef::as_signed_long(), and BitVecSortRef::subsort().
|
inline |
Definition at line 520 of file z3++.h.
Referenced by z3::operator<<().