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)
DfgSplittersplit in interface DfgSplitter