Public Member Functions | |
simplifier (context &c, char const *name) | |
simplifier (context &c, Z3_simplifier s) | |
simplifier (simplifier const &s) | |
~simplifier () override | |
operator Z3_simplifier () const | |
simplifier & | operator= (simplifier const &s) |
std::string | help () const |
param_descrs | get_param_descrs () |
Public Member Functions inherited from object | |
object (context &c) | |
virtual | ~object ()=default |
context & | ctx () const |
Z3_error_code | check_error () const |
Friends | |
simplifier | operator& (simplifier const &t1, simplifier const &t2) |
simplifier | with (simplifier const &t, params const &p) |
Additional Inherited Members | |
Protected Attributes inherited from object | |
context * | m_ctx |
|
inline |
Definition at line 3176 of file z3++.h.
Referenced by Simplifier::__deepcopy__(), Simplifier::__del__(), Simplifier::add(), Simplifier::help(), Simplifier::param_descrs(), and Simplifier::using_params().
|
inline |
Definition at line 3177 of file z3++.h.
Referenced by Simplifier::__deepcopy__(), Simplifier::__del__(), Simplifier::add(), Simplifier::help(), Simplifier::param_descrs(), and Simplifier::using_params().
|
inline |
Definition at line 3178 of file z3++.h.
Referenced by Simplifier::__deepcopy__(), Simplifier::__del__(), Simplifier::add(), Simplifier::help(), Simplifier::param_descrs(), and Simplifier::using_params().
|
inlineoverride |
|
inline |
|
inline |
|
inline |
|
inline |
|
friend |
Definition at line 3197 of file z3++.h.
|
friend |