de.grogra.graph
public interface EdgeChangeListener
| Modifier and Type | Method and Description |
|---|---|
void |
edgeChanged(java.lang.Object source,
java.lang.Object target,
java.lang.Object edge,
GraphState gs) |
void edgeChanged(java.lang.Object source,
java.lang.Object target,
java.lang.Object edge,
GraphState gs)