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 }
com.microsoft.z3.IDecRefQueue
Definition: IDecRefQueue.java:39
com.microsoft.z3.ConstructorDecRefQueue
Definition: ConstructorDecRefQueue.java:3
com.microsoft.z3.ConstructorDecRefQueue.decRef
void decRef(Context ctx, long obj)
Definition: ConstructorDecRefQueue.java:9
com.microsoft.z3.Context.nCtx
long nCtx()
Definition: Context.java:3966
com.microsoft.z3.Native
Definition: Native.java:4
com.microsoft.z3.ConstructorDecRefQueue.ConstructorDecRefQueue
ConstructorDecRefQueue()
Definition: ConstructorDecRefQueue.java:4
com.microsoft.z3.Native.delConstructor
static void delConstructor(long a0, long a1)
Definition: Native.java:1053
com.microsoft.z3.Context
Definition: Context.java:35