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 class	SyntacticFragments.FormulaClass
static class	SyntacticFragments.Type

Field Summary

Fields

Modifier and Type	Field	Description
static SyntacticFragments.FormulaClass	DELTA_0
static SyntacticFragments.FormulaClass	DELTA_1
static SyntacticFragments.FormulaClass	DELTA_2
static SyntacticFragments.FormulaClass	PI_1
static SyntacticFragments.FormulaClass	PI_2
static SyntacticFragments.FormulaClass	SIGMA_1
static SyntacticFragments.FormulaClass	SIGMA_2

Method Summary

Modifier and Type	Method	Description
static boolean	isAlmostAll(Formula formula)
static boolean	isCoSafety(EquivalenceClass clazz)
static boolean	isCoSafety(Formula formula)
static boolean	isCoSafetySafety(Formula formula)
static boolean	isFgSafety(Formula formula)
static boolean	isFinite(EquivalenceClass clazz)
static boolean	isFinite(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(EquivalenceClass clazz)
static boolean	isSafety(Formula formula)
static boolean	isSafetyCoSafety(Formula formula)
static boolean	isSingleStep(Formula formula)

Methods inherited from class java.lang.Object

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

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)