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