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 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)
-
-
-
Constructor Detail
-
EquivalenceClassLanguageLattice
public EquivalenceClassLanguageLattice(EquivalenceClassFactory eqFactory)
-
-
Method Detail
-
getBottom
public Language<EquivalenceClass> getBottom()
- Specified by:
getBottom
in interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
acceptsLivenessLanguage
public boolean acceptsLivenessLanguage(DegeneralizedBreakpointState state)
- Specified by:
acceptsLivenessLanguage
in interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
getTop
public Language<EquivalenceClass> getTop()
- Specified by:
getTop
in interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
acceptsSafetyLanguage
public boolean acceptsSafetyLanguage(DegeneralizedBreakpointState state)
- Specified by:
acceptsSafetyLanguage
in interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
getLanguage
public Language<EquivalenceClass> getLanguage(DegeneralizedBreakpointState state)
- Specified by:
getLanguage
in interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
isLivenessLanguage
public boolean isLivenessLanguage(GObligations annotation)
- Specified by:
isLivenessLanguage
in interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
isSafetyAnnotation
public boolean isSafetyAnnotation(GObligations annotation)
- Specified by:
isSafetyAnnotation
in interfaceLanguageLattice<DegeneralizedBreakpointState,GObligations,EquivalenceClass>
-
-