public class PatternGraphVizView.ContextDotNode
extends org.processmining.plugins.graphviz.dot.DotNode
Constructor and Description |
---|
ContextDotNode(java.lang.String label) |
addMouseListener, addSelectionListener, escapeString, getId, getLabel, getOption, getOptionKeySet, getSelectionListeners, isSelectable, labelToString, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setLabel, setOption, setSelectable