Class ConcurrentOptionalOrLogInfo


  • public class ConcurrentOptionalOrLogInfo
    extends java.lang.Object
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Pair<java.lang.Integer,​java.lang.Integer> findBiImplication()  
      Pair<java.lang.Integer,​java.lang.Integer> findOptionalAnd​(java.util.Set<java.util.BitSet> traces)
      Find a pair of components A, B such that A implies B and A is optional.
      Pair<java.lang.Integer,​java.lang.Integer> findOr​(java.util.Set<java.util.BitSet> traces)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • findBiImplication

        public Pair<java.lang.Integer,​java.lang.Integer> findBiImplication()
      • findOr

        public Pair<java.lang.Integer,​java.lang.Integer> findOr​(java.util.Set<java.util.BitSet> traces)
      • findOptionalAnd

        public Pair<java.lang.Integer,​java.lang.Integer> findOptionalAnd​(java.util.Set<java.util.BitSet> traces)
        Find a pair of components A, B such that A implies B and A is optional.
        Parameters:
        traces -
        Returns: