public class SimpleDfgMsdSplitter extends java.lang.Object implements DfgMsdSplitter
Constructor and Description |
---|
SimpleDfgMsdSplitter() |
Modifier and Type | Method and Description |
---|---|
static void |
filterDfg(IntDfg graph,
IntDfg subDfg,
gnu.trove.set.TIntSet sigma,
org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator,
java.util.List<gnu.trove.set.TIntSet> partition,
int sigmaN) |
DfgMsd[] |
split(DfgMsd graph,
Cut cut,
MinerStateWithoutLog minerState) |
static DfgMsd[] |
split(DfgMsd graph,
java.util.List<gnu.trove.set.TIntSet> partition,
org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator) |
public DfgMsd[] split(DfgMsd graph, Cut cut, MinerStateWithoutLog minerState)
split
in interface DfgMsdSplitter
public static void filterDfg(IntDfg graph, IntDfg subDfg, gnu.trove.set.TIntSet sigma, org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator, java.util.List<gnu.trove.set.TIntSet> partition, int sigmaN)