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