/// <seealso cref="org._3pq.jgrapht.event.VertexSetListener.vertexRemoved(GraphVertexChangeEvent)"> /// </seealso> public virtual void vertexRemoved(System.Object event_sender, GraphVertexChangeEvent e) { init(); // for now invalidate cached results, in the future need to amend them. }
/// <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); } }
/// <seealso cref="VertexSetListener.vertexAdded(GraphVertexChangeEvent)"> /// </seealso> public virtual void vertexAdded(System.Object event_sender, GraphVertexChangeEvent e) { // we don't care }
/// <seealso cref="org._3pq.jgrapht.event.VertexSetListener.vertexRemoved(GraphVertexChangeEvent)"> /// </seealso> public virtual void vertexRemoved(GraphVertexChangeEvent e) { init(); }