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 => 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 -