Package owl.translations

Class BlockingElements

java.lang.Object

owl.translations.BlockingElements

public final class BlockingElements
extends Object

Check if a language represented by an EquivalenceClass is "blocked". These checks are suitable for on-the-fly automata generation.

Method Summary

Modifier and Type	Method	Description
static Set<Formula.TemporalOperator>	blockingCoSafetyFormulas(EquivalenceClass clazz)
static Set<Formula.TemporalOperator>	blockingSafetyFormulas(EquivalenceClass clazz)
static boolean	isBlockedByCoSafety(EquivalenceClass state)
static boolean	isBlockedBySafety(EquivalenceClass state)
static boolean	isBlockedByTransient(EquivalenceClass state)
static boolean	surelyContainedInDifferentSccs(EquivalenceClass state1, EquivalenceClass state2)

Methods inherited from class java.lang.Object

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

Method Detail

isBlockedByCoSafety

public static boolean isBlockedByCoSafety(EquivalenceClass state)

isBlockedBySafety

public static boolean isBlockedBySafety(EquivalenceClass state)

isBlockedByTransient

public static boolean isBlockedByTransient(EquivalenceClass state)

blockingCoSafetyFormulas

public static Set<Formula.TemporalOperator> blockingCoSafetyFormulas(EquivalenceClass clazz)

blockingSafetyFormulas

public static Set<Formula.TemporalOperator> blockingSafetyFormulas(EquivalenceClass clazz)

surelyContainedInDifferentSccs

public static boolean surelyContainedInDifferentSccs(EquivalenceClass state1,
                                                     EquivalenceClass state2)