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 |
void | 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 |
|
inline |
|
inline |
Definition at line 1948 of file z3++.h.
Referenced by Tactic::__call__().
Definition at line 1995 of file z3++.h.
Definition at line 1980 of file z3++.h.
Definition at line 1970 of file z3++.h.
Definition at line 1990 of file z3++.h.
Definition at line 1985 of file z3++.h.
Definition at line 1975 of file z3++.h.
Definition at line 1998 of file z3++.h.