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 booleanacceptsLivenessLanguage(S state)booleanacceptsSafetyLanguage(S state)Language<L>getBottom()Language<L>getLanguage(S state)Language<L>getTop()booleanisLivenessLanguage(A annotation)booleanisSafetyAnnotation(A annotation)
-