com.microsoft.z3

Class ConstructorListDecRefQueue

java.lang.Object

com.microsoft.z3.IDecRefQueue<ConstructorList<?>>

com.microsoft.z3.ConstructorListDecRefQueue

public class ConstructorListDecRefQueue
extends IDecRefQueue<ConstructorList<?>>

Constructor Summary

Constructors

Constructor and Description
ConstructorListDecRefQueue()

Method Summary

Modifier and Type	Method and Description
protected void	decRef(Context ctx, long obj) An implementation of this method should decrement the reference on a given native object.

Methods inherited from class com.microsoft.z3.IDecRefQueue

clear, forceClear, storeReference

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstructorListDecRefQueue

public ConstructorListDecRefQueue()

Method Detail

decRef

protected void decRef(Context ctx,
                      long obj)

Description copied from class: IDecRefQueue

An implementation of this method should decrement the reference on a given native object. This function should always be called on the ctx thread.

Specified by:

decRef in class IDecRefQueue<ConstructorList<?>>

Parameters:

ctx - Z3 context.

obj - Pointer to a Z3 object.