#include <z3++.h>
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) | |
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 3056 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 3057 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 3058 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 3059 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 3069 of file z3++.h.
Referenced by Tactic::__call__(), and probe::operator()().
Definition at line 3062 of file z3++.h.
Definition at line 3116 of file z3++.h.
Definition at line 3101 of file z3++.h.
Definition at line 3091 of file z3++.h.
Definition at line 3111 of file z3++.h.
Definition at line 3106 of file z3++.h.
Definition at line 3096 of file z3++.h.
Definition at line 3119 of file z3++.h.