public class SelectionEvent extends GraphEvent
Constructor and Description |
---|
SelectionEvent(CommonGraph graph,
java.util.Set<? extends GraphSelection> selection) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<? extends GraphSelection> |
getGraphSelection() |
getGraph
public SelectionEvent(CommonGraph graph, java.util.Set<? extends GraphSelection> selection)
public java.util.Set<? extends GraphSelection> getGraphSelection()