LtlLanguageExpressible (owl 21.0 API)

All Known Subinterfaces:

EquivalenceClass

All Known Implementing Classes:

AsymmetricEvaluatedFixpoints, AsymmetricProductState, 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()
```