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)
38  {
39  getContext().checkContextMatch(g);
40  return Native.probeApply(getContext().nCtx(), getNativeObject(),
41  g.getNativeObject());
42  }
43 
44  Probe(Context ctx, long obj)
45  {
46  super(ctx, obj);
47  }
48 
49  Probe(Context ctx, String name)
50  {
51  super(ctx, Native.mkProbe(ctx.nCtx(), name));
52  }
53 
54  void incRef(long o)
55  {
56  getContext().getProbeDRQ().incAndClear(getContext(), o);
57  super.incRef(o);
58  }
59 
60  void decRef(long o)
61  {
62  getContext().getProbeDRQ().add(o);
63  super.decRef(o);
64  }
65 }
static long mkProbe(long a0, String a1)
Definition: Native.java:4066
static double probeApply(long a0, long a1, long a2)
Definition: Native.java:4361
double apply(Goal g)
Definition: Probe.java:37
void incAndClear(Context ctx, long o)
IDecRefQueue getProbeDRQ()
Definition: Context.java:3734