Interface LanguageLattice<S,A,L>

    • Method Detail

      • getLanguage

        Language<L> getLanguage​(S state)
      • isLivenessLanguage

        boolean isLivenessLanguage​(A annotation)
      • isSafetyAnnotation

        boolean isSafetyAnnotation​(A annotation)
      • acceptsSafetyLanguage

        boolean acceptsSafetyLanguage​(S state)
      • acceptsLivenessLanguage

        boolean acceptsLivenessLanguage​(S state)