Z3
Probe.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
28 public class Probe extends Z3Object {
36  public double apply(Goal g)
37  {
38  getContext().checkContextMatch(g);
39  return Native.probeApply(getContext().nCtx(), getNativeObject(),
40  g.getNativeObject());
41  }
42 
43  Probe(Context ctx, long obj)
44  {
45  super(ctx, obj);
46  }
47 
48  Probe(Context ctx, String name) {
49  super(ctx, Native.mkProbe(ctx.nCtx(), name));
50  }
51 
52  @Override
53  void incRef() {
54  Native.probeIncRef(getContext().nCtx(), getNativeObject());
55  }
56 
57  @Override
58  void addToReferenceQueue() {
59  getContext().getProbeDRQ().storeReference(getContext(), this);
60  }
61 }
IDecRefQueue< Probe > getProbeDRQ()
Definition: Context.java:3984
static long mkProbe(long a0, String a1)
Definition: Native.java:3758
static double probeApply(long a0, long a1, long a2)
Definition: Native.java:4053
void storeReference(Context ctx, T obj)
double apply(Goal g)
Definition: Probe.java:36
static void probeIncRef(long a0, long a1)
Definition: Native.java:3767
def String(name, ctx=None)
Definition: z3py.py:9443