public void Update(Marker other) { if (name != other.name) throw new Exception("Attempt to update marker with different name"); tr = other.tr; }
public void AddMarker(Marker m) { markers.Add(m); }