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