public class DfgCutFinderMergeParallelGraph extends java.lang.Object implements DfgCutFinder
Constructor and Description |
---|
DfgCutFinderMergeParallelGraph() |
Modifier and Type | Method and Description |
---|---|
Cut |
findCut(Dfg dfg,
DfgMinerState minerState)
Combine the parallel graph with the directly follows graph.
|
public Cut findCut(Dfg dfg, DfgMinerState minerState)
findCut
in interface DfgCutFinder