public class ConcurrentOptionalOrLogInfo
extends java.lang.Object
Constructor and Description |
---|
ConcurrentOptionalOrLogInfo(ConcurrentOptionalOrLog log) |
Modifier and Type | Method and 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) |
public ConcurrentOptionalOrLogInfo(ConcurrentOptionalOrLog log)
public Pair<java.lang.Integer,java.lang.Integer> findBiImplication()
public Pair<java.lang.Integer,java.lang.Integer> findOr(java.util.Set<java.util.BitSet> traces)
public Pair<java.lang.Integer,java.lang.Integer> findOptionalAnd(java.util.Set<java.util.BitSet> traces)
traces
-