Public Member Functions | |
probe (context &c, char const *name) | |
probe (context &c, double val) | |
probe (context &c, Z3_probe s) | |
probe (probe const &s) | |
~probe () override | |
operator Z3_probe () const | |
probe & | operator= (probe const &s) |
double | apply (goal const &g) const |
double | operator() (goal const &g) const |
Public Member Functions inherited from object | |
object (context &c) | |
virtual | ~object ()=default |
context & | ctx () const |
Z3_error_code | check_error () const |
Friends | |
probe | operator<= (probe const &p1, probe const &p2) |
probe | operator<= (probe const &p1, double p2) |
probe | operator<= (double p1, probe const &p2) |
probe | operator>= (probe const &p1, probe const &p2) |
probe | operator>= (probe const &p1, double p2) |
probe | operator>= (double p1, probe const &p2) |
probe | operator< (probe const &p1, probe const &p2) |
probe | operator< (probe const &p1, double p2) |
probe | operator< (double p1, probe const &p2) |
probe | operator> (probe const &p1, probe const &p2) |
probe | operator> (probe const &p1, double p2) |
probe | operator> (double p1, probe const &p2) |
probe | operator== (probe const &p1, probe const &p2) |
probe | operator== (probe const &p1, double p2) |
probe | operator== (double p1, probe const &p2) |
probe | operator&& (probe const &p1, probe const &p2) |
probe | operator|| (probe const &p1, probe const &p2) |
probe | operator! (probe const &p) |
Additional Inherited Members | |
Protected Attributes inherited from object | |
context * | m_ctx |
Definition at line 3217 of file z3++.h.
Referenced by Probe::__call__(), Probe::__deepcopy__(), Probe::__del__(), Probe::__eq__(), Probe::__ge__(), Probe::__gt__(), Probe::__le__(), and Probe::__lt__().
Definition at line 3218 of file z3++.h.
Referenced by Probe::__call__(), Probe::__deepcopy__(), Probe::__del__(), Probe::__eq__(), Probe::__ge__(), Probe::__gt__(), Probe::__le__(), and Probe::__lt__().
Definition at line 3219 of file z3++.h.
Referenced by Probe::__call__(), Probe::__deepcopy__(), Probe::__del__(), Probe::__eq__(), Probe::__ge__(), Probe::__gt__(), Probe::__le__(), and Probe::__lt__().
Definition at line 3220 of file z3++.h.
Referenced by Probe::__call__(), Probe::__deepcopy__(), Probe::__del__(), Probe::__eq__(), Probe::__ge__(), Probe::__gt__(), Probe::__le__(), and Probe::__lt__().
|
inlineoverride |
|
inline |
Definition at line 3230 of file z3++.h.
Referenced by Tactic::__call__(), and probe::operator()().
Definition at line 3277 of file z3++.h.
Definition at line 3262 of file z3++.h.
Definition at line 3252 of file z3++.h.
Definition at line 3272 of file z3++.h.
Definition at line 3267 of file z3++.h.
Definition at line 3257 of file z3++.h.
Definition at line 3280 of file z3++.h.