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 any `HOA 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)` |

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Field Detail

    - #### DEFAULT

          public static final OutputWriters.ToHoa DEFAULT

  - ### Constructor Detail

    - #### ToHoa

          public ToHoa​(boolean stateAcceptance)

  - ### Method Detail

    - #### bind

          public OutputWriter.Binding bind​(Writer writer,
                                           Environment environment)

      Specified by:
        `bind` in interface `OutputWriter`