Uses of Interface
org.processmining.plugins.graphviz.visualisation.listeners.GraphChangedListener

Packages that use GraphChangedListener

Package	Description
org.processmining.plugins.graphviz.visualisation

Uses of GraphChangedListener in org.processmining.plugins.graphviz.visualisation

Methods in org.processmining.plugins.graphviz.visualisation with parameters of type GraphChangedListener

Modifier and Type	Method and Description
void	DotPanel.addGraphChangedListener(GraphChangedListener listener)