Package owl.run.modules
Class OutputWriters.ToHoa
- java.lang.Object
-
- owl.run.modules.OutputWriters.ToHoa
-
- All Implemented Interfaces:
OutputWriter
,OwlModule
- Enclosing class:
- OutputWriters
public static class OutputWriters.ToHoa extends Object implements OutputWriter
Converts anyHOA printable
object to its corresponding HOA representation.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.run.modules.OutputWriter
OutputWriter.Binding
-
-
Field Summary
Fields Modifier and Type Field Description static OutputWriters.ToHoa
DEFAULT
-
Constructor Summary
Constructors Constructor Description ToHoa(boolean stateAcceptance)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description OutputWriter.Binding
bind(Writer writer, Environment environment)
-
-
-
Field Detail
-
DEFAULT
public static final OutputWriters.ToHoa DEFAULT
-
-
Method Detail
-
bind
public OutputWriter.Binding bind(Writer writer, Environment environment)
- Specified by:
bind
in interfaceOutputWriter
-
-