Module com.github.javabdd
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

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

  • Method Details

    • 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.