Method apply

src/api/java/Probe.java:38–43

Execute the probe over the goal. @return 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

(Goal g)

     * @throws Z3Exception 
     **/
    public double apply(Goal g)
    {
        getContext().checkContextMatch(g);
        return Native.probeApply(getContext().nCtx(), getNativeObject(),
                g.getNativeObject());
    }

    Probe(Context ctx, long obj)
    {