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

Class BDDFactory.CacheStats

java.lang.Object
com.github.javabdd.BDDFactory.CacheStats
Enclosing class:
BDDFactory
public static class BDDFactory.CacheStats extends Object
Stores statistics about the operator cache.

  • Field Details

    • enabled

      protected boolean enabled

    • uniqueAccess

      public long uniqueAccess

    • uniqueChain

      public long uniqueChain

    • uniqueHit

      public long uniqueHit

    • uniqueMiss

      public long uniqueMiss

    • opAccess

      public long opAccess

    • opHit

      public long opHit

    • opMiss

      public long opMiss

    • swapCount

      public long swapCount

  • Constructor Details

    • CacheStats

      protected CacheStats()

  • Method Details

    • enableMeasurements

      public void enableMeasurements()

    • disableMeasurements

      public void disableMeasurements()

    • resetMeasurements

      public void resetMeasurements()

    • toString

      public String toString()
      Overrides:
      toString in class Object