Class BlockingElements


  • public class BlockingElements
    extends Object
    • Constructor Detail

      • BlockingElements

        public BlockingElements​(Formula formula)
    • Method Detail

      • isBlockedByCoSafety

        public boolean isBlockedByCoSafety​(EquivalenceClass clazz)
      • isBlockedBySafety

        public boolean isBlockedBySafety​(EquivalenceClass clazz)