Public Member Functions | |
func_entry (context &c, Z3_func_entry e) | |
func_entry (func_entry const &s) | |
~func_entry () override | |
operator Z3_func_entry () const | |
func_entry & | operator= (func_entry const &s) |
expr | value () const |
unsigned | num_args () const |
expr | arg (unsigned i) const |
Public Member Functions inherited from object | |
object (context &c) | |
virtual | ~object ()=default |
context & | ctx () const |
Z3_error_code | check_error () const |
Additional Inherited Members | |
Protected Attributes inherited from object | |
context * | m_ctx |
|
inline |
|
inline |
|
inlineoverride |
|
inline |
Definition at line 2570 of file z3++.h.
Referenced by AstRef::__bool__(), and ExprRef::children().
|
inline |
Definition at line 2569 of file z3++.h.
Referenced by AstRef::__bool__(), ExprRef::arg(), FuncEntry::arg_value(), FuncEntry::as_list(), and ExprRef::children().
|
inline |
|
inline |
|
inline |
Definition at line 2568 of file z3++.h.
Referenced by FuncEntry::as_list().