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