Method addToReferenceQueue

src/api/java/Simplifier.java:56–59

()

    }

    @Override
    void addToReferenceQueue() {
        getContext().getReferenceQueue().storeReference(this, SimplifierRef::new);
    }

    private static class SimplifierRef extends Z3ReferenceQueue.Reference<Simplifier> {