Class DfgMiner


  • public class DfgMiner
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      DfgMiner()  
    • Constructor Detail

      • DfgMiner

        public DfgMiner()
    • Method Detail

      • mine

        public static org.processmining.processtree.ProcessTree mine​(Dfg dfg,
                                                                     DfgMiningParameters parameters,
                                                                     org.processmining.framework.packages.PackageManager.Canceller canceller)
      • mineNode

        public static org.processmining.processtree.Node mineNode​(Dfg dfg,
                                                                  org.processmining.processtree.ProcessTree tree,
                                                                  DfgMinerState minerState)
      • addNode

        public static void addNode​(org.processmining.processtree.ProcessTree tree,
                                   org.processmining.processtree.Node node)
      • findBaseCases

        public static org.processmining.processtree.Node findBaseCases​(Dfg dfg,
                                                                       org.processmining.processtree.ProcessTree tree,
                                                                       DfgMinerState minerState)
      • findFallThrough

        public static org.processmining.processtree.Node findFallThrough​(Dfg dfg,
                                                                         org.processmining.processtree.ProcessTree tree,
                                                                         DfgMinerState minerState)
      • debug

        public static void debug​(java.lang.Object x,
                                 DfgMinerState minerState)