Class CutFinderIMlcInterleaved
- java.lang.Object
-
- org.processmining.plugins.InductiveMiner.mining.cuts.IMlc.CutFinderIMlcInterleaved
-
-
Constructor Summary
Constructors Constructor Description CutFinderIMlcInterleaved()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description CutfindCut(IMLog log, IMLogInfo logInfo, MinerState minerState)Returns a cut, or null if none found.static CutfindCutBasic(Dfg dfg, Graph<org.deckfour.xes.classification.XEventClass> directGraph, Graph<org.deckfour.xes.classification.XEventClass> concurrencyGraph)static CutfindSpecialCase(Dfg dfg, java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition, Graph<org.deckfour.xes.classification.XEventClass> directlyFollowsGraph)Finds the special case int(A, B) where A is not interleaved itself (B might be).static java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>>getPartition(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters)static voidmergeClusters(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters, int c1, int c2)static voidmergeClusters(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters, org.deckfour.xes.classification.XEventClass e1, org.deckfour.xes.classification.XEventClass e2)
-
-
-
Method Detail
-
findCut
public Cut findCut(IMLog log, IMLogInfo logInfo, MinerState minerState)
Description copied from interface:CutFinderReturns a cut, or null if none found. Must be thread-safe and static, i.e, no side-effects allowed.
-
findSpecialCase
public static Cut findSpecialCase(Dfg dfg, java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition, Graph<org.deckfour.xes.classification.XEventClass> directlyFollowsGraph)
Finds the special case int(A, B) where A is not interleaved itself (B might be).- Parameters:
dfg-partition-directlyFollowsGraph-- Returns:
-
findCutBasic
public static Cut findCutBasic(Dfg dfg, Graph<org.deckfour.xes.classification.XEventClass> directGraph, Graph<org.deckfour.xes.classification.XEventClass> concurrencyGraph)
-
mergeClusters
public static void mergeClusters(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters, int c1, int c2)
-
mergeClusters
public static void mergeClusters(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters, org.deckfour.xes.classification.XEventClass e1, org.deckfour.xes.classification.XEventClass e2)
-
getPartition
public static java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> getPartition(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters)
-
-