Module com.github.javabdd
Package com.github.javabdd

Interface BDDFactory.GCStatsCallback

  • Enclosing class:
    BDDFactory
    Functional Interface:
    This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
    @FunctionalInterface
public static interface BDDFactory.GCStatsCallback
    Garbage collection statistics callback.

    • Method Detail

      • gc

        void gc​(BDDFactory.GCStats stats,
        boolean pre)
        Garbage collection statistics callback.
        Parameters:
        stats - The statistics.
        pre - Whether this callback is invoked before (true) or after (false) garbage collection.