18 package com.microsoft.z3;
20 class FuncInterpEntryDecRefQueue
extends IDecRefQueue
22 public FuncInterpEntryDecRefQueue()
27 public FuncInterpEntryDecRefQueue(
int move_limit)
32 protected void incRef(Context ctx,
long obj)
36 Native.funcEntryIncRef(ctx.nCtx(), obj);
37 }
catch (Z3Exception e)
43 protected void decRef(Context ctx,
long obj)
47 Native.funcEntryDecRef(ctx.nCtx(), obj);
48 }
catch (Z3Exception e)