public class GraphvizLiftDirectlyFollowsPrecedesGraph
extends java.lang.Object
Constructor and Description |
---|
GraphvizLiftDirectlyFollowsPrecedesGraph() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.graphviz.dot.Dot |
dfg2Dot(LiftDfpg dfpg,
boolean includeParalelEdges) |
static long[] |
getMaxCounts(LiftDfpg dfpg) |
javax.swing.JComponent |
visualize(org.processmining.framework.plugin.PluginContext context,
LiftDfpg dfpg) |
public GraphvizLiftDirectlyFollowsPrecedesGraph()
public javax.swing.JComponent visualize(org.processmining.framework.plugin.PluginContext context, LiftDfpg dfpg)
public static long[] getMaxCounts(LiftDfpg dfpg)
public static org.processmining.plugins.graphviz.dot.Dot dfg2Dot(LiftDfpg dfpg, boolean includeParalelEdges)