18 package com.microsoft.z3;
20 class SolverDecRefQueue
extends IDecRefQueue
22 public SolverDecRefQueue() { super(); }
24 public SolverDecRefQueue(
int move_limit)
29 protected void incRef(Context ctx,
long obj)
33 Native.solverIncRef(ctx.nCtx(), obj);
34 }
catch (Z3Exception e)
40 protected void decRef(Context ctx,
long obj)
44 Native.solverDecRef(ctx.nCtx(), obj);
45 }
catch (Z3Exception e)