Package owl.game.output

## Class AigerPrinter

- java.lang.Object
- - owl.game.output.AigerPrinter

- All Implemented Interfaces:
    `AigConsumer`

      public class AigerPrinter
      extends Object
      implements AigConsumer

- - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `AigerPrinter​(boolean binaryOutput)` |

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `void` | `addComment​(String comment)` |
    `int` | `addInput​(String name)` |
    `int` | `addLatch​(String names, LabelledAig circuit)` |
    `void` | `addOutput​(String name, LabelledAig circuit)` |
    `void` | `print​(OutputStream os)` |
    `void` | `print​(PrintWriter writer)` |

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

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

- - ### Constructor Detail

    - #### AigerPrinter

          public AigerPrinter​(boolean binaryOutput)

  - ### Method Detail

    - #### addInput

          public int addInput​(String name)

      Specified by:
        `addInput` in interface `AigConsumer`

    - #### addLatch

          public int addLatch​(String names,
                              LabelledAig circuit)

      Specified by:
        `addLatch` in interface `AigConsumer`

    - #### addOutput

          public void addOutput​(String name,
                                LabelledAig circuit)

      Specified by:
        `addOutput` in interface `AigConsumer`

    - #### addComment

          public void addComment​(String comment)

      Specified by:
        `addComment` in interface `AigConsumer`

    - #### print

          public void print​(OutputStream os)

    - #### print

          public void print​(PrintWriter writer)