Class GraphvizDirectlyFollowsPrecedesGraph


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

      • GraphvizDirectlyFollowsPrecedesGraph

        public GraphvizDirectlyFollowsPrecedesGraph()
    • Method Detail

      • visualize

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

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

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