Package owl.ltl

## Class SyntacticFragments

- java.lang.Object
- - owl.ltl.SyntacticFragments

-     public final class SyntacticFragments
      extends Object

- - ### Method Summary

    All Methods Static Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `static boolean` | `isAlmostAll​(Formula formula)` |
    `static boolean` | `isDetBuchiRecognisable​(Formula formula)` |
    `static boolean` | `isDetCoBuchiRecognisable​(Formula formula)` |
    `static boolean` | `isInfinitelyOften​(Formula formula)` |
    `static Formula` | `normalize​(Formula formula, SyntacticFragment fragment)` |
    `static LabelledFormula` | `normalize​(LabelledFormula formula, SyntacticFragment fragment)` |

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### 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)

    - #### normalize

          public static Formula normalize​(Formula formula,
                                          SyntacticFragment fragment)

    - #### normalize

          public static LabelledFormula normalize​(LabelledFormula formula,
                                                  SyntacticFragment fragment)