Z3
src
api
java
ProbeDecRefQueue.java
Go to the documentation of this file.
1
18
package
com.microsoft.z3;
19
20
class
ProbeDecRefQueue
extends
IDecRefQueue<Probe>
21
{
22
public
ProbeDecRefQueue()
23
{
24
super();
25
}
26
27
@Override
28
protected
void
decRef(Context ctx,
long
obj)
29
{
30
Native.probeDecRef(ctx.nCtx(), obj);
31
}
32
};
Generated on Sat Nov 12 2016 23:18:41 for Z3 by
1.8.12