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