Class GraphvizLiftDirectlyFollowsPrecedesGraph


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

      • GraphvizLiftDirectlyFollowsPrecedesGraph

        public GraphvizLiftDirectlyFollowsPrecedesGraph()
    • Method Detail

      • visualize

        public javax.swing.JComponent visualize​(org.processmining.framework.plugin.PluginContext context,
                                                LiftDfpg dfpg)
      • getMaxCounts

        public static long[] getMaxCounts​(LiftDfpg dfpg)
      • dfg2Dot

        public static org.processmining.plugins.graphviz.dot.Dot dfg2Dot​(LiftDfpg dfpg,
                                                                         boolean includeParalelEdges)