Class BDDFactory.ContinuousStats

  • Enclosing class:
    BDDFactory

    public static class BDDFactory.ContinuousStats
    extends Object
    Stores continuously statistics about the BDD nodes usage and BDD operations, where BDD operations is a proxy for time.
    • Field Detail

      • enabled

        protected boolean enabled
      • contUsedBddNodes

        protected List<Integer> contUsedBddNodes
      • contOperations

        protected List<Long> contOperations
    • Constructor Detail

      • ContinuousStats

        protected ContinuousStats()
    • Method Detail

      • enableMeasurements

        public void enableMeasurements()
      • disableMeasurements

        public void disableMeasurements()
      • resetMeasurements

        public void resetMeasurements()
      • getOperationsStats

        public List<Long> getOperationsStats()