org.processmining.models.jgraph.listeners
Interfaces
SelectionListener
Classes
SelectionListener.SelectionChangeEvent