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)
-