Protected Member Functions | |
void | incRef (Context ctx, long obj) |
void | decRef (Context ctx, long obj) |
Definition at line 20 of file ParamsDecRefQueue.java.
Implements IDecRefQueue.
Definition at line 33 of file ParamsDecRefQueue.java.
{ try { Native.paramsDecRef(ctx.nCtx(), obj); } catch (Z3Exception e) { // OK. } }
Implements IDecRefQueue.
Definition at line 22 of file ParamsDecRefQueue.java.
{ try { Native.paramsIncRef(ctx.nCtx(), obj); } catch (Z3Exception e) { // OK. } }