Method decRef

src/api/java/Z3ReferenceQueue.java:129–129

(Context ctx, long z3Obj)

        }

        abstract void decRef(Context ctx, long z3Obj);
    }

    private static class DummyReference extends Reference<Z3Object> {