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