Z3
ConstructorListDecRefQueue.java
Go to the documentation of this file.
1package com.microsoft.z3;
2
3public class ConstructorListDecRefQueue extends IDecRefQueue<ConstructorList> {
5 super();
6 }
7
8 @Override
9 protected void decRef(Context ctx, long obj) {
10 Native.delConstructorList(ctx.nCtx(), obj);
11 }
12}
static void delConstructorList(long a0, long a1)
Definition: Native.java:1077