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 () | |
operator Z3_probe () const | |
probe & | operator= (probe const &s) |
double | apply (goal const &g) const |
double | operator() (goal const &g) const |
![]() | |
object (context &c) | |
object (object const &s) | |
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 | |
![]() | |
context * | m_ctx |
Definition at line 2754 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 2755 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 2756 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 2757 of file z3++.h.
Referenced by Probe::__call__(), Probe::__deepcopy__(), Probe::__del__(), Probe::__eq__(), Probe::__ge__(), Probe::__gt__(), Probe::__le__(), and Probe::__lt__().
|
inline |
|
inline |
Definition at line 2767 of file z3++.h.
Referenced by Tactic::__call__(), and probe::operator()().
Definition at line 2814 of file z3++.h.
Definition at line 2799 of file z3++.h.
Definition at line 2789 of file z3++.h.
Definition at line 2809 of file z3++.h.
Definition at line 2804 of file z3++.h.
Definition at line 2794 of file z3++.h.
Definition at line 2817 of file z3++.h.