Package com.github.javabdd

Interface BDDFactory.ContinuousStatsCallback

  • 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.ContinuousStatsCallback
    Continuously BDD nodes usage and BDD operations statistics callback.

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      void continuous​(int usedBddNodes, long opMiss)
      Continuously BDD nodes usage and BDD operations statistics callback.

    • Method Detail

      • continuous

        void continuous​(int usedBddNodes,
                long opMiss)
        Continuously BDD nodes usage and BDD operations statistics callback.
        Parameters:
        usedBddNodes - The number of currently used BDD nodes. Represents a platform-independent measure that approximates memory use.
        opMiss - The number of BDD operations performed until now that could not be taken from the operation cache. Represents a platform-independent measure of approximates running time.