public void Exchange(TopLoc_IndexedMapOfLocation theOther)
 {
     throw new NotImplementedException();
 }
 public TopLoc_IndexedMapOfLocation(TopLoc_IndexedMapOfLocation theOther)
     : base()
 {
     throw new NotImplementedException();
 }