/// <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)
{
init(); // for now invalidate cached results, in the future need to amend them.
}
/// <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();
}
