Package org.processmining.plugins.inductiveminer2.withoutlog.graphsplitters

Class SimpleDfgMsdSplitter

java.lang.Object

org.processmining.plugins.inductiveminer2.withoutlog.graphsplitters.SimpleDfgMsdSplitter

All Implemented Interfaces:

DfgMsdSplitter

public class SimpleDfgMsdSplitter
extends java.lang.Object
implements DfgMsdSplitter

Constructor Summary

Constructors

Constructor	Description
SimpleDfgMsdSplitter()

Method Summary

Modifier and Type	Method	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)
static DfgMsd[]	split(DfgMsd graph, java.util.List<gnu.trove.set.TIntSet> partition, org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator)
DfgMsd[]	split(DfgMsd graph, Cut cut, MinerStateWithoutLog minerState)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleDfgMsdSplitter

public SimpleDfgMsdSplitter()

Method Detail

split

public DfgMsd[] split(DfgMsd graph,
                      Cut cut,
                      MinerStateWithoutLog minerState)

Specified by:

split in interface DfgMsdSplitter

filterDfg

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)

split

public static DfgMsd[] split(DfgMsd graph,
                             java.util.List<gnu.trove.set.TIntSet> partition,
                             org.processmining.plugins.InductiveMiner.mining.cuts.Cut.Operator operator)