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