Added get_edge_length() and shortest_edge_in_set()