18 package com.microsoft.z3;
39 getContext().checkContextMatch(g);
49 Probe(Context ctx, String name)
throws Z3Exception
51 super(ctx, Native.mkProbe(ctx.nCtx(), name));
54 void incRef(
long o)
throws Z3Exception
56 getContext().probe_DRQ().incAndClear(getContext(), o);
60 void decRef(
long o)
throws Z3Exception
62 getContext().probe_DRQ().add(o);
static double probeApply(long a0, long a1, long a2)