Class OutputWriters.AutomatonStats

  • Enclosing class:
    OutputWriters

    public static class OutputWriters.AutomatonStats
    extends Object
    • Constructor Detail

      • AutomatonStats

        public AutomatonStats​(String formatString,
                              Writer writer)