/** Notify listeners (GraphViewer and Layouter) of arc deletion from graph model */
public void notifyArcDeletion(Arc anArc) {
for (GraphListener observer : observers) {
observer.arcDeleted(anArc);
}
}
/** Notify listeners (GraphViewer and Layouter) of arc deletion from graph model */
public void notifyArcDeletion(Arc anArc) {
for (GraphListener observer : observers) {
observer.arcDeleted(anArc);
}
}
