public class DrawUtils
extends java.lang.Object
Constructor and Description |
---|
DrawUtils() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.graphviz.dot.Dot |
createGraph(AnnotatedTransitionSystem ats,
double threshold,
boolean showLabels,
java.util.Set<java.lang.Object> selectedElements) |
static void |
highlightNode(java.lang.Object node,
java.awt.Color c) |
public static org.processmining.plugins.graphviz.dot.Dot createGraph(AnnotatedTransitionSystem ats, double threshold, boolean showLabels, java.util.Set<java.lang.Object> selectedElements)
public static void highlightNode(java.lang.Object node, java.awt.Color c)