Class BDDFactory.ReorderStats

  • Enclosing class:
    BDDFactory

    public static class BDDFactory.ReorderStats
    extends Object
    Stores statistics about reordering.
    • Field Detail

      • time

        public long time
      • usednum_before

        public int usednum_before
      • usednum_after

        public int usednum_after
    • Constructor Detail

      • ReorderStats

        protected ReorderStats()