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
isCoSafety(Iterable<? extends Formula> iterable)
static boolean
isDetBuchiRecognisable(Formula formula)
static boolean
isDetCoBuchiRecognisable(Formula formula)
static boolean
isFgSafety(Formula formula)
static boolean
isFSafety(Formula formula)
static boolean
isGCoSafety(Formula formula)
static boolean
isGfCoSafety(Formula formula)
static boolean
isInfinitelyOften(Formula formula)
static boolean
isSafety(Iterable<? extends Formula> iterable)
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)
-
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)
-
normalize
public static Formula normalize(Formula formula, SyntacticFragment fragment)
-
normalize
public static LabelledFormula normalize(LabelledFormula formula, SyntacticFragment fragment)
-
-