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
public static class OutputWriters.AutomatonStats extends Object