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

Interface BDDFactory.MaxMemoryStatsCallback

  • 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.MaxMemoryStatsCallback
    Maximum memory usage statistics callback.

    • Method Detail

      • maxMemory

        void maxMemory​(BDDFactory.MaxMemoryStats stats)
        Maximum memory usage statistics callback.
        Parameters:
        stats - The statistics.