/// <seealso cref="GraphListener.edgeRemoved(GraphEdgeChangeEvent)">
/// </seealso>
public virtual void edgeRemoved(System.Object event_sender, GraphEdgeChangeEvent e)
{
init(); // for now invalidate cached results, in the future need to amend them.
}
/// <seealso cref="GraphListener.edgeRemoved(GraphEdgeChangeEvent)">
/// </seealso>
public virtual void edgeRemoved(System.Object event_sender, GraphEdgeChangeEvent e)
{
Edge edge = e.getEdge();
Enclosing_Instance.removeEdge(edge);
}
/// <seealso cref="GraphListener.edgeRemoved(GraphEdgeChangeEvent)">
/// </seealso>
public virtual void edgeRemoved(System.Object event_sender, GraphEdgeChangeEvent e)
{
org._3pq.jgrapht.Edge jtEdge = e.getEdge();
System.Boolean tempBoolean;
tempBoolean = Enclosing_Instance.m_jtElementsBeingRemoved.Contains(jtEdge);
Enclosing_Instance.m_jtElementsBeingRemoved.Remove(jtEdge);
if (!tempBoolean)
{
Enclosing_Instance.handleJGraphTRemovedEdge(jtEdge);
}
}
/// <seealso cref="GraphListener.edgeAdded(GraphEdgeChangeEvent)">
/// </seealso>
public virtual void edgeAdded(System.Object event_sender, GraphEdgeChangeEvent e)
{
if (Enclosing_Instance.m_isInduced)
{
Enclosing_Instance.addEdge(e.getEdge());
}
}
/// <seealso cref="org._3pq.jgrapht.event.GraphListener.edgeRemoved(GraphEdgeChangeEvent)">
/// </seealso>
public virtual void edgeRemoved(GraphEdgeChangeEvent e)
{
init();
}