Package owl.automaton.ldba

## Interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>

- All Known Implementing Classes:
    `LimitDeterministicAutomatonImpl`

      public interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>

- - ### Method Summary

    All Methods Instance Methods Abstract Methods Default Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `Automaton<T,U>` | `acceptingComponent()` |
    `V` | `annotation​(T key)` |
    `Set<V>` | `components()` |
    `Set<T>` | `epsilonJumps​(S state)` |
    `Automaton<S,NoneAcceptance>` | `initialComponent()` |
    `Set<?>` | `initialStates()` |
    `default boolean` | `isDeterministic()` |
    `default int` | `size()` |
    `Map<ValuationSet,Set<T>>` | `valuationSetJumps​(S state)` |

- - ### Method Detail

    - #### acceptingComponent

          Automaton<T,U> acceptingComponent()

    - #### annotation

          @Nullable
          V annotation​(T key)

    - #### components

          Set<V> components()

    - #### epsilonJumps

          Set<T> epsilonJumps​(S state)

    - #### initialComponent

          Automaton<S,NoneAcceptance> initialComponent()

    - #### initialStates

          Set<?> initialStates()

    - #### valuationSetJumps

          Map<ValuationSet,Set<T>> valuationSetJumps​(S state)

    - #### isDeterministic

          default boolean isDeterministic()

    - #### size

          default int size()