ApplyResultDecRefQueue Class Reference

Inheritance diagram for ApplyResultDecRefQueue:

Protected Member Functions
void	incRef (Context ctx, long obj)
void	decRef (Context ctx, long obj)

---

Detailed Description

Definition at line 20 of file ApplyResultDecRefQueue.java.

---

Member Function Documentation

void decRef	(	Context	ctx,
		long	obj
	)		[inline, protected, virtual]

Implements IDecRefQueue.

Definition at line 33 of file ApplyResultDecRefQueue.java.

    {
        try
        {
            Native.applyResultDecRef(ctx.nCtx(), obj);
        } catch (Z3Exception e)
        {
            // OK.
        }
    }

void incRef	(	Context	ctx,
		long	obj
	)		[inline, protected, virtual]

Implements IDecRefQueue.

Definition at line 22 of file ApplyResultDecRefQueue.java.

    {
        try
        {
            Native.applyResultIncRef(ctx.nCtx(), obj);
        } catch (Z3Exception e)
        {
            // OK.
        }
    }