public void LockAdd(Edge e)
{
lock (Holder)
Holder.Add(e);
}
/// <summary>
/// Edges equal <==> Points are equaled.
/// </summary>
/// <param name="x">
/// </param>
/// <param name="y">
/// </param>
/// <returns></returns>
public static bool DeepEquals(Edge x, Edge y)
{
return(x.a.Equals(y.a) && x.b.Equals(y.b));
}
public static double CompareID(Edge x, Edge y)
{
return(x.ID - y.ID);
}
public static int CompareWeight(Edge x, Edge y)
{
return(Math.Sign(x.cost - y.cost));
}