Z3
src
api
java
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
}
com.microsoft.z3.Native.mkProbe
static long mkProbe(long a0, String a1)
Definition:
Native.java:4066
com.microsoft.z3.Native.probeApply
static double probeApply(long a0, long a1, long a2)
Definition:
Native.java:4361
com.microsoft.z3.Context
Definition:
Context.java:27
com.microsoft.z3.Native
Definition:
Native.java:4
com.microsoft.z3.Probe.apply
double apply(Goal g)
Definition:
Probe.java:37
com.microsoft.z3.Probe
Definition:
Probe.java:28
com.microsoft.z3.Goal
Definition:
Goal.java:26
com.microsoft.z3.IDecRefQueue.incAndClear
void incAndClear(Context ctx, long o)
Definition:
IDecRefQueue.java:44
com.microsoft.z3.Z3Object
Definition:
Z3Object.java:24
com.microsoft.z3.IDecRefQueue.add
void add(long o)
Definition:
IDecRefQueue.java:51
com.microsoft.z3.Context.getProbeDRQ
IDecRefQueue getProbeDRQ()
Definition:
Context.java:3734
Generated on Tue Jul 19 2016 21:26:49 for Z3 by
1.8.11