/// <seealso cref="VertexSetListener.vertexRemoved(GraphVertexChangeEvent)"> /// </seealso> public virtual void vertexRemoved(System.Object event_sender, GraphVertexChangeEvent e) { System.Object vertex = e.getVertex(); Enclosing_Instance.removeVertex(vertex); }
/// <seealso cref="org._3pq.jgrapht.event.VertexSetListener.vertexRemoved(GraphVertexChangeEvent)"> /// </seealso> public virtual void vertexRemoved(System.Object event_sender, GraphVertexChangeEvent e) { System.Object jtVertex = e.getVertex(); System.Boolean tempBoolean; tempBoolean = Enclosing_Instance.m_jtElementsBeingRemoved.Contains(jtVertex); Enclosing_Instance.m_jtElementsBeingRemoved.Remove(jtVertex); if (!tempBoolean) { Enclosing_Instance.handleJGraphTRemoveVertex(jtVertex); } }