Class ConstructorDecRefQueue

    • Constructor Detail

      • ConstructorDecRefQueue

        public ConstructorDecRefQueue()
    • 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<Constructor<?>>
        Parameters:
        ctx - Z3 context.
        obj - Pointer to a Z3 object.