Public Member Functions | |
double | apply (Goal g) |
Additional Inherited Members | |
Static Public Member Functions inherited from Z3Object | |
static long[] | arrayToNative (Z3Object[] a) |
static int | arrayLength (Z3Object[] a) |
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 36 of file Probe.java.
Referenced by Tactic.__call__().