Class CutFinderIMlcInterleaved

  • All Implemented Interfaces:
    CutFinder

    public class CutFinderIMlcInterleaved
    extends java.lang.Object
    implements CutFinder
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • CutFinderIMlcInterleaved

        public CutFinderIMlcInterleaved()
    • Method Detail

      • findCut

        public Cut findCut​(IMLog log,
                           IMLogInfo logInfo,
                           MinerState minerState)
        Description copied from interface: CutFinder
        Returns a cut, or null if none found. Must be thread-safe and static, i.e, no side-effects allowed.
        Specified by:
        findCut in interface CutFinder
        Returns:
      • 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)