Public Member Functions | |
double | apply (Goal g) throws Z3Exception |
![]() | |
void | dispose () throws Z3Exception |
![]() | |
void | dispose () throws Z3Exception |
Additional Inherited Members | |
![]() | |
void | finalize () throws Z3Exception |
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 Context.NumProbes
and Context.ProbeNames
. It may also be obtained using the command (help-tactics)
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__().