Package owl.run.modules
Class OutputWriters
- java.lang.Object
-
- owl.run.modules.OutputWriters
-
public final class OutputWriters extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
OutputWriters.AutomatonStats
static class
OutputWriters.ToHoa
Converts anyHOA printable
object to its corresponding HOA representation.
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.OutputWriter>
AUTOMATON_STATS_MODULE
static OwlModule<OwlModule.OutputWriter>
HOA_OUTPUT_MODULE
static OwlModule<OwlModule.OutputWriter>
NULL_MODULE
static OwlModule<OwlModule.OutputWriter>
TO_STRING_MODULE
-
-
-
Field Detail
-
AUTOMATON_STATS_MODULE
public static final OwlModule<OwlModule.OutputWriter> AUTOMATON_STATS_MODULE
-
HOA_OUTPUT_MODULE
public static final OwlModule<OwlModule.OutputWriter> HOA_OUTPUT_MODULE
-
NULL_MODULE
public static final OwlModule<OwlModule.OutputWriter> NULL_MODULE
-
TO_STRING_MODULE
public static final OwlModule<OwlModule.OutputWriter> TO_STRING_MODULE
-
-