Class CutFinderIMinInfo


  • public class CutFinderIMinInfo
    extends java.lang.Object
    • Constructor Detail

      • CutFinderIMinInfo

        public CutFinderIMinInfo​(Dfg dfg,
                                 Graph<org.deckfour.xes.classification.XEventClass> graph2,
                                 Graph<org.deckfour.xes.classification.XEventClass> transitiveGraph2,
                                 java.util.Map<org.deckfour.xes.classification.XEventClass,​MultiSet<org.deckfour.xes.classification.XEventClass>> minimumSelfDistancesBetween,
                                 Probabilities probabilities,
                                 JobList jobList,
                                 boolean debug)
        A CutFinderIMinInfo keeps track of a single call to the IMin cut finder.
        Parameters:
        dfg -
        graph2 -
        transitiveGraph2 -
        minimumSelfDistancesBetween -
        probabilities -
        jobList -
        debug -
    • Method Detail

      • getDfg

        public Dfg getDfg()
      • getGraph

        public Graph<org.deckfour.xes.classification.XEventClass> getGraph()
      • getTransitiveGraph

        public Graph<org.deckfour.xes.classification.XEventClass> getTransitiveGraph()
      • isDebug

        public boolean isDebug()
      • getActivities

        public java.util.Set<org.deckfour.xes.classification.XEventClass> getActivities()
      • getMinimumSelfDistanceBetween

        public MultiSet<org.deckfour.xes.classification.XEventClass> getMinimumSelfDistanceBetween​(org.deckfour.xes.classification.XEventClass activity)
      • getJobList

        public JobList getJobList()