LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>
public class BooleanLattice extends java.lang.Object implements LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>
Constructor | Description |
---|---|
BooleanLattice() |
Modifier and Type | Method | Description |
---|---|---|
boolean |
acceptsLivenessLanguage(DegeneralizedBreakpointFreeState state) |
|
boolean |
acceptsSafetyLanguage(DegeneralizedBreakpointFreeState state) |
|
Language<java.lang.Void> |
getBottom() |
|
Language<java.lang.Void> |
getLanguage(DegeneralizedBreakpointFreeState state) |
|
Language<java.lang.Void> |
getTop() |
|
boolean |
isLivenessLanguage(FGObligations annotation) |
|
boolean |
isSafetyAnnotation(FGObligations annotation) |
public Language<java.lang.Void> getBottom()
getBottom
in interface LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>
public Language<java.lang.Void> getLanguage(DegeneralizedBreakpointFreeState state)
getLanguage
in interface LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>
public Language<java.lang.Void> getTop()
getTop
in interface LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>
public boolean isLivenessLanguage(FGObligations annotation)
isLivenessLanguage
in interface LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>
public boolean acceptsSafetyLanguage(DegeneralizedBreakpointFreeState state)
acceptsSafetyLanguage
in interface LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>
public boolean acceptsLivenessLanguage(DegeneralizedBreakpointFreeState state)
acceptsLivenessLanguage
in interface LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>
public boolean isSafetyAnnotation(FGObligations annotation)
isSafetyAnnotation
in interface LanguageLattice<DegeneralizedBreakpointFreeState,FGObligations,java.lang.Void>