Package owl.translations
Class BlockingElements
- java.lang.Object
-
- owl.translations.BlockingElements
-
public class BlockingElements extends Object
-
-
Constructor Summary
Constructors Constructor Description BlockingElements(Formula formula)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
isBlockedByCoSafety(EquivalenceClass clazz)
boolean
isBlockedBySafety(EquivalenceClass clazz)
-
-
-
Constructor Detail
-
BlockingElements
public BlockingElements(Formula formula)
-
-
Method Detail
-
isBlockedByCoSafety
public boolean isBlockedByCoSafety(EquivalenceClass clazz)
-
isBlockedBySafety
public boolean isBlockedBySafety(EquivalenceClass clazz)
-
-