Method addToReferenceQueue

src/api/java/Tactic.java:101–105

()

    }

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

    private static class TacticRef extends Z3ReferenceQueue.Reference<Tactic> {