Package owl.run.modules
Class OutputWriters.ToHoa
- java.lang.Object
-
- owl.run.modules.OutputWriters.ToHoa
-
- All Implemented Interfaces:
OwlModule.Instance
,OwlModule.OutputWriter
- Enclosing class:
- OutputWriters
public static class OutputWriters.ToHoa extends Object implements OwlModule.OutputWriter
Converts anyHOA printable
object to its corresponding HOA representation.
-
-
Constructor Summary
Constructors Constructor Description ToHoa(boolean annotations, boolean stateAcceptance)
-
-
-
Method Detail
-
write
public void write(Writer writer, Object object)
- Specified by:
write
in interfaceOwlModule.OutputWriter
-
-