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 booleanisAlmostAll(Formula formula)static booleanisDetBuchiRecognisable(Formula formula)static booleanisDetCoBuchiRecognisable(Formula formula)static booleanisInfinitelyOften(Formula formula)static Formulanormalize(Formula formula, SyntacticFragment fragment)static LabelledFormulanormalize(LabelledFormula formula, SyntacticFragment fragment)
-
-
-
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)
-
-