Method getReferenceQueue

src/api/java/Context.java:4572–4572

()

    private Z3ReferenceQueue m_RefQueue = new Z3ReferenceQueue(this);

    Z3ReferenceQueue getReferenceQueue() { return m_RefQueue; }

    /**
     * Disposes of the context.