LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
public class EquivalenceClassLanguageLattice extends java.lang.Object implements LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
Constructor | Description |
---|---|
EquivalenceClassLanguageLattice(EquivalenceClassFactory eqFactory) |
Modifier and Type | Method | Description |
---|---|---|
boolean |
acceptsLivenessLanguage(DegeneralizedBreakpointState state) |
|
boolean |
acceptsSafetyLanguage(DegeneralizedBreakpointState state) |
|
Language<EquivalenceClass> |
getBottom() |
|
Language<EquivalenceClass> |
getLanguage(DegeneralizedBreakpointState state) |
|
Language<EquivalenceClass> |
getTop() |
|
boolean |
isLivenessLanguage(GObligations annotation) |
|
boolean |
isSafetyAnnotation(GObligations annotation) |
public EquivalenceClassLanguageLattice(EquivalenceClassFactory eqFactory)
public Language<EquivalenceClass> getBottom()
getBottom
in interface LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
public boolean acceptsLivenessLanguage(DegeneralizedBreakpointState state)
acceptsLivenessLanguage
in interface LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
public Language<EquivalenceClass> getTop()
getTop
in interface LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
public boolean acceptsSafetyLanguage(DegeneralizedBreakpointState state)
acceptsSafetyLanguage
in interface LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
public Language<EquivalenceClass> getLanguage(DegeneralizedBreakpointState state)
getLanguage
in interface LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
public boolean isLivenessLanguage(GObligations annotation)
isLivenessLanguage
in interface LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
public boolean isSafetyAnnotation(GObligations annotation)
isSafetyAnnotation
in interface LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>