#include <z3++.h>
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 () |
![]() | |
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 | |
![]() | |
context * | m_ctx |
|
inline |
|
inline |
|
inline |
|
inlineoverride |
|
inline |
|
inline |
|
inline |
|
inline |
Definition at line 3181 of file z3++.h.
|
friend |
Definition at line 3197 of file z3++.h.
|
friend |
Definition at line 3204 of file z3++.h.