Package owl.ltl
Class SyntacticFragments
- java.lang.Object
-
- owl.ltl.SyntacticFragments
-
public final class SyntacticFragments extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classSyntacticFragments.FormulaClassstatic classSyntacticFragments.Type
-
Field Summary
Fields Modifier and Type Field Description static SyntacticFragments.FormulaClassDELTA_0static SyntacticFragments.FormulaClassDELTA_1static SyntacticFragments.FormulaClassDELTA_2static SyntacticFragments.FormulaClassPI_1static SyntacticFragments.FormulaClassPI_2static SyntacticFragments.FormulaClassSIGMA_1static SyntacticFragments.FormulaClassSIGMA_2
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static booleanisAlmostAll(Formula formula)static booleanisCoSafety(EquivalenceClass clazz)static booleanisCoSafety(Formula formula)static booleanisCoSafetySafety(Formula formula)static booleanisFgSafety(Formula formula)static booleanisFinite(EquivalenceClass clazz)static booleanisFinite(Formula formula)static booleanisFSafety(Formula formula)static booleanisGCoSafety(Formula formula)static booleanisGfCoSafety(Formula formula)static booleanisInfinitelyOften(Formula formula)static booleanisSafety(EquivalenceClass clazz)static booleanisSafety(Formula formula)static booleanisSafetyCoSafety(Formula formula)static booleanisSingleStep(Formula formula)
-
-
-
Field Detail
-
DELTA_0
public static final SyntacticFragments.FormulaClass DELTA_0
-
SIGMA_1
public static final SyntacticFragments.FormulaClass SIGMA_1
-
PI_1
public static final SyntacticFragments.FormulaClass PI_1
-
DELTA_1
public static final SyntacticFragments.FormulaClass DELTA_1
-
SIGMA_2
public static final SyntacticFragments.FormulaClass SIGMA_2
-
PI_2
public static final SyntacticFragments.FormulaClass PI_2
-
DELTA_2
public static final SyntacticFragments.FormulaClass DELTA_2
-
-
Method Detail
-
isSingleStep
public static boolean isSingleStep(Formula formula)
-
isFinite
public static boolean isFinite(Formula formula)
-
isFinite
public static boolean isFinite(EquivalenceClass clazz)
-
isCoSafety
public static boolean isCoSafety(Formula formula)
-
isCoSafety
public static boolean isCoSafety(EquivalenceClass clazz)
-
isSafety
public static boolean isSafety(Formula formula)
-
isSafety
public static boolean isSafety(EquivalenceClass clazz)
-
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)
-
isCoSafetySafety
public static boolean isCoSafetySafety(Formula formula)
-
isSafetyCoSafety
public static boolean isSafetyCoSafety(Formula formula)
-
isAlmostAll
public static boolean isAlmostAll(Formula formula)
-
isInfinitelyOften
public static boolean isInfinitelyOften(Formula formula)
-
-