Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Protected Member Functions
GoalDecRefQueue Class Reference
+ Inheritance diagram for GoalDecRefQueue:

Protected Member Functions

void incRef (Context ctx, long obj)
void decRef (Context ctx, long obj)

Detailed Description

Definition at line 20 of file GoalDecRefQueue.java.


Member Function Documentation

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

Implements IDecRefQueue.

Definition at line 33 of file GoalDecRefQueue.java.

    {
        try
        {
            Native.goalDecRef(ctx.nCtx(), obj);
        } catch (Z3Exception e)
        {
            // OK.
        }
    }
void incRef ( Context  ctx,
long  obj 
) [inline, protected, virtual]

Implements IDecRefQueue.

Definition at line 22 of file GoalDecRefQueue.java.

    {
        try
        {
            Native.goalIncRef(ctx.nCtx(), obj);
        } catch (Z3Exception e)
        {
            // OK.
        }
    }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines