public class CutFinderWithoutLogIMConcurrentWithMinimumSelfDistance extends java.lang.Object implements CutFinderWithoutLog
Constructor and Description |
---|
CutFinderWithoutLogIMConcurrentWithMinimumSelfDistance() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<gnu.trove.set.TIntSet> |
ensureStartEndInEach(IntDfg dfg,
java.util.Collection<gnu.trove.set.TIntSet> connectedComponents) |
static Cut |
findCut(DfgMsd dfg,
boolean considerMsd) |
Cut |
findCut(DfgMsd graph,
MinerStateWithoutLog minerState) |
public CutFinderWithoutLogIMConcurrentWithMinimumSelfDistance()
public Cut findCut(DfgMsd graph, MinerStateWithoutLog minerState)
findCut
in interface CutFinderWithoutLog
public static java.util.List<gnu.trove.set.TIntSet> ensureStartEndInEach(IntDfg dfg, java.util.Collection<gnu.trove.set.TIntSet> connectedComponents)