Class RepairedState.Stats

  • Enclosing class:
    RepairedState

    public static class RepairedState.Stats
    extends java.lang.Object
    • Constructor Detail

      • Stats

        public Stats​(long minRepaired,
                     long maxRepaired,
                     java.util.List<RepairedState.Section> sections)