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