Public Member Functions | |
stats (context &c) | |
stats (context &c, Z3_stats e) | |
stats (stats const &s) | |
~stats () override | |
operator Z3_stats () const | |
stats & | operator= (stats const &s) |
unsigned | size () const |
std::string | key (unsigned i) const |
bool | is_uint (unsigned i) const |
bool | is_double (unsigned i) const |
unsigned | uint_value (unsigned i) const |
double | double_value (unsigned i) const |
Public Member Functions inherited from object | |
object (context &c) | |
virtual | ~object ()=default |
context & | ctx () const |
Z3_error_code | check_error () const |
Friends | |
std::ostream & | operator<< (std::ostream &out, stats const &s) |
Additional Inherited Members | |
Protected Attributes inherited from object | |
context * | m_ctx |
Definition at line 2693 of file z3++.h.
Referenced by Statistics::__deepcopy__(), Statistics::__del__(), Statistics::__getitem__(), Statistics::__len__(), Statistics::__repr__(), Statistics::get_key_value(), and Statistics::keys().
Definition at line 2694 of file z3++.h.
Referenced by Statistics::__deepcopy__(), Statistics::__del__(), Statistics::__getitem__(), Statistics::__len__(), Statistics::__repr__(), Statistics::get_key_value(), and Statistics::keys().
Definition at line 2695 of file z3++.h.
Referenced by Statistics::__deepcopy__(), Statistics::__del__(), Statistics::__getitem__(), Statistics::__len__(), Statistics::__repr__(), Statistics::get_key_value(), and Statistics::keys().
|
inlineoverride |
|
inline |
|
inline |
|
inline |
|
inline |
Definition at line 2706 of file z3++.h.
|
inline |
Definition at line 2705 of file z3++.h.
Referenced by ParamDescrsRef::__len__(), Goal::__len__(), BitVecNumRef::as_signed_long(), and BitVecSortRef::subsort().
|
inline |