Public Member Functions | |
func_interp (context &c, Z3_func_interp e) | |
func_interp (func_interp const &s) | |
~func_interp () | |
operator Z3_func_interp () const | |
func_interp & | operator= (func_interp const &s) |
expr | else_value () const |
unsigned | num_entries () const |
func_entry | entry (unsigned i) const |
![]() | |
object (context &c) | |
object (object const &s) | |
context & | ctx () const |
void | check_error () const |
Additional Inherited Members | |
![]() | |
context * | m_ctx |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Definition at line 1168 of file z3++.h.
|
inline |
Definition at line 1167 of file z3++.h.
Referenced by FuncInterp::entry().
|
inline |
|
inline |
Definition at line 1159 of file z3++.h.