Package owl.translations.ldba2dpa

## Interface LanguageLattice<S,A,L>

- All Known Implementing Classes:
    `BooleanLattice`, `EquivalenceClassLanguageLattice`

      public interface LanguageLattice<S,A,L>

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `boolean` | `acceptsLivenessLanguage​(S state)` |
    `boolean` | `acceptsSafetyLanguage​(S state)` |
    `Language<L>` | `getBottom()` |
    `Language<L>` | `getLanguage​(S state)` |
    `Language<L>` | `getTop()` |
    `boolean` | `isLivenessLanguage​(A annotation)` |
    `boolean` | `isSafetyAnnotation​(A annotation)` |

- - ### Method Detail

    - #### getBottom

          Language<L> getBottom()

    - #### getLanguage

          Language<L> getLanguage​(S state)

    - #### getTop

          Language<L> getTop()

    - #### isLivenessLanguage

          boolean isLivenessLanguage​(A annotation)

    - #### isSafetyAnnotation

          boolean isSafetyAnnotation​(A annotation)

    - #### acceptsSafetyLanguage

          boolean acceptsSafetyLanguage​(S state)

    - #### acceptsLivenessLanguage

          boolean acceptsLivenessLanguage​(S state)