Package owl.ltl
Interface LtlLanguageExpressible
-
- 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 EquivalenceClasslanguage()
-
-
-
Method Detail
-
language
EquivalenceClass language()
-
-