Package owl.ltl

## Interface LtlLanguageExpressible

- All Known Implementing Classes:
    `AsymmetricEvaluatedFixpoints`, `AsymmetricProductState`, `EquivalenceClass`, `SymmetricEvaluatedFixpoints`, `SymmetricProductState`

      public interface LtlLanguageExpressible

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `EquivalenceClass` | `language()` |

- - ### Method Detail

    - #### language

          EquivalenceClass language()