Z3
ConstructorListDecRefQueue.java
Go to the documentation of this file.
1 package com.microsoft.z3;
2 
3 public 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 }
com.microsoft.z3.ConstructorListDecRefQueue.decRef
void decRef(Context ctx, long obj)
Definition: ConstructorListDecRefQueue.java:9
com.microsoft.z3.IDecRefQueue
Definition: IDecRefQueue.java:39
com.microsoft.z3.ConstructorListDecRefQueue.ConstructorListDecRefQueue
ConstructorListDecRefQueue()
Definition: ConstructorListDecRefQueue.java:4
com.microsoft.z3.Native.delConstructorList
static void delConstructorList(long a0, long a1)
Definition: Native.java:1077
com.microsoft.z3.Native
Definition: Native.java:4
com.microsoft.z3.ConstructorListDecRefQueue
Definition: ConstructorListDecRefQueue.java:3
com.microsoft.z3.Context
Definition: Context.java:35