public final class OutputWriters
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
OutputWriters.AutomatonStats |
|
static class |
OutputWriters.ToHoa |
Converts any
HOA printable object to its corresponding HOA representation. |
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.WriterParser |
AUTOMATON_STATS_CLI |
|
static OutputWriter |
HOA |
|
static OwlModuleParser.WriterParser |
HOA_CLI |
|
static OutputWriter |
NULL |
|
static OwlModuleParser.WriterParser |
NULL_CLI |
|
static OwlModuleParser.WriterParser |
STRING_CLI |
|
static OutputWriter |
TO_STRING |
Modifier and Type | Method | Description |
---|---|---|
static OutputWriter |
automatonStats(java.lang.String format) |
public static final OwlModuleParser.WriterParser AUTOMATON_STATS_CLI
public static final OwlModuleParser.WriterParser HOA_CLI
public static final OutputWriter NULL
public static final OwlModuleParser.WriterParser NULL_CLI
public static final OutputWriter TO_STRING
public static final OwlModuleParser.WriterParser STRING_CLI
public static final OutputWriter HOA
public static OutputWriter automatonStats(java.lang.String format)