org.processmining.plugins.graphviz.visualisation.listeners
Interfaces
DotElementSelectionListener
ElementSelectionListener
GraphChangedListener
ImageTransformationChangedListener
MouseInElementsChangedListener
SelectionChangedListener
Enums
GraphChangedListener.GraphChangedReason