Package owl.translations.ltl2ldba

## Class AnnotatedLDBA<S,​T extends LtlLanguageExpressible,​B extends GeneralizedBuchiAcceptance,​X,​Y>

- java.lang.Object
- - owl.translations.ltl2ldba.AnnotatedLDBA<S,​T,​B,​X,​Y>

-     public final class AnnotatedLDBA<S,​T extends LtlLanguageExpressible,​B extends GeneralizedBuchiAcceptance,​X,​Y>
      extends Object

- - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `B` | `acceptance()` |
    `Automaton<T,​B>` | `acceptingComponent()` |
    `X` | `annotation()` |
    `MutableAutomaton<Either<S,​T>,​B>` | `copyAsMutable()` |
    `ValuationSetFactory` | `factory()` |
    `Automaton<S,​NoneAcceptance>` | `initialComponent()` |
    `Y` | `stateAnnotation()` |

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

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

- - ### Method Detail

    - #### acceptance

          public B acceptance()

    - #### acceptingComponent

          public Automaton<T,​B> acceptingComponent()

    - #### annotation

          public X annotation()

    - #### copyAsMutable

          public MutableAutomaton<Either<S,​T>,​B> copyAsMutable()

    - #### factory

          public ValuationSetFactory factory()

    - #### initialComponent

          public Automaton<S,​NoneAcceptance> initialComponent()

    - #### stateAnnotation

          public Y stateAnnotation()