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