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