org.processmining.plugins.graphviz.visualisation.listeners

Interface SelectionChangedListener<E>

public interface SelectionChangedListener<E>

Method Summary

Methods

Modifier and Type	Method and Description
void	selectionChanged(java.util.Set<E> selectedElements) Called when the selection changes.

Method Detail

selectionChanged

void selectionChanged(java.util.Set<E> selectedElements)

Called when the selection changes.

Parameters:

selectedElements - The new set of selected elements.