Z3
Probe.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
28 public class Probe extends Z3Object
29 {
37  public double apply(Goal g) throws Z3Exception
38  {
39  getContext().checkContextMatch(g);
40  return Native.probeApply(getContext().nCtx(), getNativeObject(),
41  g.getNativeObject());
42  }
43 
44  Probe(Context ctx, long obj) throws Z3Exception
45  {
46  super(ctx, obj);
47  }
48 
49  Probe(Context ctx, String name) throws Z3Exception
50  {
51  super(ctx, Native.mkProbe(ctx.nCtx(), name));
52  }
53 
54  void incRef(long o) throws Z3Exception
55  {
56  getContext().probe_DRQ().incAndClear(getContext(), o);
57  super.incRef(o);
58  }
59 
60  void decRef(long o) throws Z3Exception
61  {
62  getContext().probe_DRQ().add(o);
63  super.decRef(o);
64  }
65 }
static double probeApply(long a0, long a1, long a2)
Definition: Native.java:4068
double apply(Goal g)
Definition: Probe.java:37