Class EquivalenceClassLanguageLattice
- java.lang.Object
-
- owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
-
- All Implemented Interfaces:
LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
public class EquivalenceClassLanguageLattice extends Object implements LanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
-
Constructor Summary
Constructors Constructor Description EquivalenceClassLanguageLattice(EquivalenceClassFactory eqFactory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanacceptsLivenessLanguage(DegeneralizedBreakpointState state)booleanacceptsSafetyLanguage(DegeneralizedBreakpointState state)Language<EquivalenceClass>getBottom()Language<EquivalenceClass>getLanguage(DegeneralizedBreakpointState state)Language<EquivalenceClass>getTop()booleanisLivenessLanguage(GObligations annotation)booleanisSafetyAnnotation(GObligations annotation)
-
-
-
Constructor Detail
-
EquivalenceClassLanguageLattice
public EquivalenceClassLanguageLattice(EquivalenceClassFactory eqFactory)
-
-
Method Detail
-
getBottom
public Language<EquivalenceClass> getBottom()
- Specified by:
getBottomin interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
acceptsLivenessLanguage
public boolean acceptsLivenessLanguage(DegeneralizedBreakpointState state)
- Specified by:
acceptsLivenessLanguagein interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
getTop
public Language<EquivalenceClass> getTop()
- Specified by:
getTopin interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
acceptsSafetyLanguage
public boolean acceptsSafetyLanguage(DegeneralizedBreakpointState state)
- Specified by:
acceptsSafetyLanguagein interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
getLanguage
public Language<EquivalenceClass> getLanguage(DegeneralizedBreakpointState state)
- Specified by:
getLanguagein interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
isLivenessLanguage
public boolean isLivenessLanguage(GObligations annotation)
- Specified by:
isLivenessLanguagein interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
isSafetyAnnotation
public boolean isSafetyAnnotation(GObligations annotation)
- Specified by:
isSafetyAnnotationin interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
-