Constructor and Description |
---|
CutFinderIMlcInterleaved() |
Modifier and Type | Method and Description |
---|---|
Cut |
findCut(IMLog log,
IMLogInfo logInfo,
MinerState minerState)
Returns a cut, or null if none found.
|
static Cut |
findCutBasic(Dfg dfg,
Graph<org.deckfour.xes.classification.XEventClass> directGraph,
Graph<org.deckfour.xes.classification.XEventClass> concurrencyGraph) |
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).
|
static java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> |
getPartition(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters) |
static void |
mergeClusters(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters,
int c1,
int c2) |
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) |
public Cut findCut(IMLog log, IMLogInfo logInfo, MinerState minerState)
CutFinder
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)
dfg
- partition
- directlyFollowsGraph
- public static Cut findCutBasic(Dfg dfg, Graph<org.deckfour.xes.classification.XEventClass> directGraph, Graph<org.deckfour.xes.classification.XEventClass> concurrencyGraph)
public static void mergeClusters(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters, int c1, int c2)
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)
public static java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> getPartition(gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> clusters)