Public Member Functions | |
double | apply (Goal g) |
![]() | |
void | dispose () |
![]() | |
void | dispose () |
Additional Inherited Members | |
![]() | |
void | finalize () |
Probes are used to inspect a goal (aka problem) and collect information that may be used to decide which solver and/or preprocessing step will be used. The complete list of probes may be obtained using the procedures
and
. It may also be obtained using the command
in the SMT 2.0 front-end.
Definition at line 28 of file Probe.java.
|
inline |
Execute the probe over the goal.
Z3Exception |
Definition at line 37 of file Probe.java.
Referenced by Tactic.__call__().