OutputWriter
, OwlModule
public static class OutputWriters.ToHoa extends java.lang.Object implements OutputWriter
HOA printable
object to its corresponding HOA representation.Modifier and Type | Class | Description |
---|---|---|
static class |
OutputWriters.ToHoa.Setting |
OutputWriter.Binding, OutputWriter.OutputWriterException
Modifier and Type | Field | Description |
---|---|---|
static OutputWriters.ToHoa |
DEFAULT |
Constructor | Description |
---|---|
ToHoa(java.util.EnumSet<OutputWriters.ToHoa.Setting> hoaSettings,
java.util.List<jhoafparser.storage.StoredAutomatonManipulator> manipulations) |
Modifier and Type | Method | Description |
---|---|---|
OutputWriter.Binding |
bind(java.io.Writer writer,
Environment env) |
public static final OutputWriters.ToHoa DEFAULT
public ToHoa(java.util.EnumSet<OutputWriters.ToHoa.Setting> hoaSettings, java.util.List<jhoafparser.storage.StoredAutomatonManipulator> manipulations)
public OutputWriter.Binding bind(java.io.Writer writer, Environment env)
bind
in interface OutputWriter