Example #1
0
			/// <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);
				}
			}