src/api/java/Probe.java

Go to the documentation of this file.

package com.microsoft.z3;

public class Probe extends Z3Object
{
    public double apply(Goal g)
    {
        getContext().checkContextMatch(g);
        return Native.probeApply(getContext().nCtx(), getNativeObject(),
                g.getNativeObject());
    }

    Probe(Context ctx, long obj)
    {
        super(ctx, obj);
    }

    Probe(Context ctx, String name)
    {
        super(ctx, Native.mkProbe(ctx.nCtx(), name));
    }

    void incRef(long o)
    {
        getContext().getProbeDRQ().incAndClear(getContext(), o);
        super.incRef(o);
    }

    void decRef(long o)
    {
        getContext().getProbeDRQ().add(o);
        super.decRef(o);
    }
}