BooleanLattice
, EquivalenceClassLanguageLattice
public interface LanguageLattice<S,A,L>
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) |