/// <seealso cref="GraphListener.edgeAdded(GraphEdgeChangeEvent)"> /// </seealso> public virtual void edgeAdded(System.Object event_sender, GraphEdgeChangeEvent e) { if (Enclosing_Instance.m_isInduced) { Enclosing_Instance.addEdge(e.getEdge()); } }
/// <seealso cref="GraphListener.edgeRemoved(GraphEdgeChangeEvent)"> /// </seealso> public virtual void edgeRemoved(System.Object event_sender, GraphEdgeChangeEvent e) { Edge edge = e.getEdge(); Enclosing_Instance.removeEdge(edge); }
/// <seealso cref="GraphListener.edgeRemoved(GraphEdgeChangeEvent)"> /// </seealso> public virtual void edgeRemoved(System.Object event_sender, GraphEdgeChangeEvent e) { init(); // for now invalidate cached results, in the future need to amend them. }
/// <seealso cref="org._3pq.jgrapht.event.GraphListener.edgeRemoved(GraphEdgeChangeEvent)"> /// </seealso> public virtual void edgeRemoved(GraphEdgeChangeEvent e) { init(); }