Package owl.translations
Class SafetyCoreDetector
- java.lang.Object
-
- owl.translations.SafetyCoreDetector
-
public final class SafetyCoreDetector extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static boolean
safetyCoreExists(EquivalenceClass state)
-
-
-
Method Detail
-
safetyCoreExists
public static boolean safetyCoreExists(EquivalenceClass state)
-
-