/// <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);
}
