Package owl.translations.nba2ldba

## Class NBA2LDBA.LDBA<S>

- java.lang.Object
- - owl.translations.nba2ldba.NBA2LDBA.LDBA<S>

- Enclosing class:
    NBA2LDBA

      @Immutable
      public abstract static class NBA2LDBA.LDBA<S>
      extends Object

- - ### Constructor Summary

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

  - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `abstract Automaton<S,​BuchiAcceptance>` | `automaton()` |
    `abstract Set<S>` | `initialComponent()` |

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

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

- - ### Constructor Detail

    - #### LDBA

          public LDBA()

  - ### Method Detail

    - #### automaton

          public abstract Automaton<S,​BuchiAcceptance> automaton()

    - #### initialComponent

          public abstract Set<S> initialComponent()