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

Class BDDFactory.MaxUsedBddNodesStats

java.lang.Object
com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
Enclosing class:
BDDFactory
public static class BDDFactory.MaxUsedBddNodesStats extends Object
Stores statistics about the maximum BDD nodes usage.

  • Field Details

    • enabled

      protected boolean enabled

    • maxUsedBddNodes

      protected int maxUsedBddNodes

  • Constructor Details

    • MaxUsedBddNodesStats

      protected MaxUsedBddNodesStats()

  • Method Details

    • enableMeasurements

      public void enableMeasurements()

    • disableMeasurements

      public void disableMeasurements()

    • resetMeasurements

      public void resetMeasurements()

    • newMeasurement

      public void newMeasurement(int newUsedBddNodes)

    • getMaxUsedBddNodes

      public int getMaxUsedBddNodes()

    • toString

      public String toString()
      Overrides:
      toString in class Object