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) | |
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 | |
![]() | |
context * | m_ctx |
|
inline |
Definition at line 492 of file z3++.h.
Referenced by param_descrs::global_param_descrs(), and param_descrs::simplify_param_descrs().
|
inline |
|
inline |
|
inline |
Definition at line 508 of file z3++.h.
|
inlinestatic |
|
inline |
Definition at line 507 of file z3++.h.
Referenced by ArithSortRef::is_int(), and ArithSortRef::is_real().
|
inline |
Definition at line 506 of file z3++.h.
Referenced by Datatype::__deepcopy__(), and Datatype::__repr__().
|
inline |
|
inlinestatic |
|
inline |
Definition at line 505 of file z3++.h.
Referenced by ParamDescrsRef::__len__(), Goal::__len__(), BitVecNumRef::as_signed_long(), and BitVecSortRef::subsort().
|
inline |
Definition at line 509 of file z3++.h.
Referenced by z3::operator<<().