Package owl.game.output

## Class AigFactory

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

-     public final class AigFactory
      extends Object

- - ### Constructor Summary

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

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `LabelledAig` | `conjunction​(LabelledAig left, LabelledAig right)` |
    `LabelledAig` | `cube​(BitSet b)` |
    `LabelledAig` | `disjunction​(LabelledAig left, LabelledAig right)` |
    `LabelledAig` | `getFalse()` |
    `LabelledAig` | `getNode​(int variable)` |
    `LabelledAig` | `getTrue()` |
    `LabelledAig` | `not​(LabelledAig a)` |

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

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

- - ### Constructor Detail

    - #### AigFactory

          public AigFactory()

  - ### Method Detail

    - #### getNode

          public LabelledAig getNode​(int variable)

    - #### getTrue

          public LabelledAig getTrue()

    - #### getFalse

          public LabelledAig getFalse()

    - #### conjunction

          public LabelledAig conjunction​(LabelledAig left,
                                         LabelledAig right)

    - #### cube

          public LabelledAig cube​(BitSet b)

    - #### disjunction

          public LabelledAig disjunction​(LabelledAig left,
                                         LabelledAig right)

    - #### not

          public LabelledAig not​(LabelledAig a)