public NavPolyId GetTileRef(NavTile tile) { if (tile == null) return NavPolyId.Null; NavPolyId id; if (!tileRefs.TryGetValue(tile, out id)) id = NavPolyId.Null; return id; }