Z3
All
Data Structures
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Modules
Pages
src
api
java
FuncInterpDecRefQueue.java
Go to the documentation of this file.
1
18
package
com.microsoft.z3;
19
20
class
FuncInterpDecRefQueue
extends
IDecRefQueue<FuncInterp>
21
{
22
public
FuncInterpDecRefQueue()
23
{
24
super();
25
}
26
27
@Override
28
protected
void
decRef(Context ctx,
long
obj) {
29
Native.funcInterpDecRef(ctx.nCtx(), obj);
30
}
31
};
Generated on Sat Oct 5 2019 15:21:11 for Z3 by
1.8.8