Package owl.ltl

Class SyntacticFragments


  • public final class SyntacticFragments
    extends Object
    • Method Detail

      • isAlmostAll

        public static boolean isAlmostAll​(Formula formula)
      • isDetBuchiRecognisable

        public static boolean isDetBuchiRecognisable​(Formula formula)
      • isDetCoBuchiRecognisable

        public static boolean isDetCoBuchiRecognisable​(Formula formula)
      • isInfinitelyOften

        public static boolean isInfinitelyOften​(Formula formula)
      • isGfCoSafety

        public static boolean isGfCoSafety​(Formula formula)
      • isGCoSafety

        public static boolean isGCoSafety​(Formula formula)
      • isFgSafety

        public static boolean isFgSafety​(Formula formula)
      • isFSafety

        public static boolean isFSafety​(Formula formula)
      • isCoSafety

        public static boolean isCoSafety​(Iterable<? extends Formula> iterable)
      • isSafety

        public static boolean isSafety​(Iterable<? extends Formula> iterable)