Package owl.run.modules

## Class OutputWriters.AutomatonStats

- java.lang.Object
- - owl.run.modules.OutputWriters.AutomatonStats

- Enclosing class:
    OutputWriters

      public static class OutputWriters.AutomatonStats
      extends Object

- - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `AutomatonStats​(String formatString, Writer writer)` |

  - ### Method Summary

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### AutomatonStats

          public AutomatonStats​(String formatString,
                                Writer writer)