/** Get the edge with the given edge number.
* @throws Exception if there is no (non-closed) edge with this number
*/
public static Edge GetEdgeNum(long num)
{
Edge e = _num_to_edge.GetValue(num);
if (e == null)
{
throw new Exception(String.Format("No Edge with number: {0}", num));
}
return(e);
}
