Probe (Java Bindings for Z3)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.Probe

```
public class Probe
extends Z3Object
```
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-tactic) in the SMT 2.0 front-end.

- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  double apply(Goal g)
  Execute the probe over the goal.
  - Methods inherited from class com.microsoft.z3.Z3Object
    arrayLength, arrayToNative
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - apply
```
public double apply(Goal g)
```
    Execute the probe over the goal.
    
    Returns:
    
    A probe always produce a double value. "Boolean" probes return 0.0 for false, and a value different from 0.0 for true.
    
    Throws:
    
    Z3Exception