public class SimpleDfgSplitter extends java.lang.Object implements DfgSplitter
DfgSplitter.DfgSplitResult
Constructor and Description |
---|
SimpleDfgSplitter() |
Modifier and Type | Method and Description |
---|---|
DfgSplitter.DfgSplitResult |
split(Dfg dfg,
Cut cut,
DfgMinerState minerState)
usage: returns a list of sublogs and a multiset of noise events
Must be thread-safe and static, i.e, no side-effects allowed.
|
public DfgSplitter.DfgSplitResult split(Dfg dfg, Cut cut, DfgMinerState minerState)
DfgSplitter
split
in interface DfgSplitter