Class BDDFactory.MaxUsedBddNodesStats

  • Enclosing class:
    BDDFactory

    public static class BDDFactory.MaxUsedBddNodesStats
    extends Object
    Stores statistics about the maximum BDD nodes usage.
    • Field Detail

      • enabled

        protected boolean enabled
      • maxUsedBddNodes

        protected int maxUsedBddNodes
    • Constructor Detail

      • MaxUsedBddNodesStats

        protected MaxUsedBddNodesStats()
    • Method Detail

      • enableMeasurements

        public void enableMeasurements()
      • disableMeasurements

        public void disableMeasurements()
      • resetMeasurements

        public void resetMeasurements()
      • newMeasurement

        public void newMeasurement​(int newUsedBddNodes)
      • getMaxUsedBddNodes

        public int getMaxUsedBddNodes()