Class SafetyDetector


  • public final class SafetyDetector
    extends Object
    • Method Detail

      • hasSafetyCore

        public static boolean hasSafetyCore​(EquivalenceClass state,
                                            boolean substitutionAnalysis)