Z3
src
api
java
ConstructorListDecRefQueue.java
Go to the documentation of this file.
1
package
com.microsoft.z3;
2
3
public
class
ConstructorListDecRefQueue
extends
IDecRefQueue
<ConstructorList> {
4
public
ConstructorListDecRefQueue
() {
5
super();
6
}
7
8
@Override
9
protected
void
decRef
(
Context
ctx,
long
obj) {
10
Native
.
delConstructorList
(ctx.nCtx(), obj);
11
}
12
}
com.microsoft.z3.Context
Definition:
Context.java:29
com.microsoft.z3.IDecRefQueue
Definition:
IDecRefQueue.java:39
com.microsoft.z3.Native
Definition:
Native.java:4
com.microsoft.z3.ConstructorListDecRefQueue
Definition:
ConstructorListDecRefQueue.java:3
com.microsoft.z3.ConstructorListDecRefQueue.decRef
void decRef(Context ctx, long obj)
Definition:
ConstructorListDecRefQueue.java:9
com.microsoft.z3.Native.delConstructorList
static void delConstructorList(long a0, long a1)
Definition:
Native.java:1010
com.microsoft.z3.ConstructorListDecRefQueue.ConstructorListDecRefQueue
ConstructorListDecRefQueue()
Definition:
ConstructorListDecRefQueue.java:4
Generated on Sat Nov 12 2016 22:01:04 for Z3 by
1.8.12