Package owl.translations.canonical
Class DeterministicConstructions.SuspensionCheck
- java.lang.Object
-
- owl.translations.canonical.DeterministicConstructions.SuspensionCheck
-
- Enclosing class:
- DeterministicConstructions
public static final class DeterministicConstructions.SuspensionCheck extends Object
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanisBlocked(EquivalenceClass clazz)booleanisBlockedByCoSafety(EquivalenceClass clazz)booleanisBlockedBySafety(EquivalenceClass clazz)booleanisBlockedByTransient(EquivalenceClass clazz)
-
-
-
Method Detail
-
isBlocked
public boolean isBlocked(EquivalenceClass clazz)
-
isBlockedByCoSafety
public boolean isBlockedByCoSafety(EquivalenceClass clazz)
-
isBlockedBySafety
public boolean isBlockedBySafety(EquivalenceClass clazz)
-
isBlockedByTransient
public boolean isBlockedByTransient(EquivalenceClass clazz)
-
-