Method clear

src/api/java/Z3ReferenceQueue.java:59–64

Clean all references currently in referenceQueue.

()

     * Clean all references currently in {@code referenceQueue}.
     */
    private void clear() {
        Reference<?> ref;
        while ((ref = (Reference<?>)referenceQueue.poll()) != null) {
            ref.cleanup(ctx);
        }
    }

    /**
     * Clean all references stored in {@code referenceList},