Package owl.game.output

## Class LabelledAig

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

-     @Immutable
      public abstract class LabelledAig
      extends Object

- - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `LabelledAig()` |

  - ### Method Summary

    All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `abstract Aig` | `aig()` |
    `LabelledAig` | `flip()` |
    `abstract boolean` | `isNegated()` |
    `static LabelledAig` | `of​(Aig aig)` |
    `static LabelledAig` | `of​(Aig aig, boolean negated)` |

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

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

- - ### Constructor Detail

    - #### LabelledAig

          public LabelledAig()

  - ### Method Detail

    - #### aig

          public abstract Aig aig()

    - #### isNegated

          public abstract boolean isNegated()

    - #### of

          public static LabelledAig of​(Aig aig)

    - #### of

          public static LabelledAig of​(Aig aig,
                                       boolean negated)

    - #### flip

          public LabelledAig flip()