Z3 |

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.ConstructorListDecRefQueue
Definition: ConstructorListDecRefQueue.java:3
com.microsoft.z3.ConstructorListDecRefQueue.decRef
void decRef(Context ctx, long obj)
Definition: ConstructorListDecRefQueue.java:9
com.microsoft.z3.ConstructorListDecRefQueue.ConstructorListDecRefQueue
ConstructorListDecRefQueue()
Definition: ConstructorListDecRefQueue.java:4
com.microsoft.z3.Context
Definition: Context.java:36
com.microsoft.z3.Context.nCtx
long nCtx()
Definition: Context.java:4008
com.microsoft.z3.IDecRefQueue
Definition: IDecRefQueue.java:39