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