Z3
ParamDescrsDecRefQueue.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
20 class ParamDescrsDecRefQueue extends IDecRefQueue<ParamDescrs> {
21  public ParamDescrsDecRefQueue()
22  {
23  super();
24  }
25 
26  @Override
27  protected void decRef(Context ctx, long obj)
28  {
29  Native.paramDescrsDecRef(ctx.nCtx(), obj);
30  }
31 }