Abstract: A polygon Boolean operation and topology correction algorithm generates valid polygons despite polygon data containing self-intersecting polygons, overlapping polygons, polygons including a chain of holes, and/or polygons including complex intersections. A polygon Boolean operation and topology correction algorithm uses two variants of the Vatti algorithm along with a topology correction algorithm to address problematic areas within input data, such as the overlapping area shared between one or more polygons or a polygon having no area at all. Upon performing a variant of the Vatti algorithm to identify hot pixels within an arrangement of polygons, the polygon Boolean operation and topology correction algorithm runs a second variant of the Vatti algorithm to generate polygons within an integer coordinate system using snap-rounding.

Abstract: A vector tile generator receives map features from a database of raw map data. Each map feature includes geometry data and property data. The vector tile generator stores the property data in a property store. The vector tile generator generates, based on the geometry data, a set of zoom data organized into a plurality of zoom levels. Each zoom level includes at least some of the map features. The vector tile generator maps the map features of the set of zoom data to a plurality of tiles that includes a set of tiles for each of the zoom levels. For each tile, the vector tile generator clips map features mapped to the tile based on a boundary of the tile, encodes the clipped map features to a vector format, and merges the encoded clipped map features with the stored property data corresponding to the map features in the tile.

Abstract: A polygon Boolean operation and topology correction algorithm generates valid polygons despite polygon data containing self-intersecting polygons, overlapping polygons, polygons including a chain of holes, and/or polygons including complex intersections. A polygon Boolean operation and topology correction algorithm uses two variants of the Vatti algorithm along with a topology correction algorithm to address problematic areas within input data, such as the overlapping area shared between one or more polygons or a polygon having no area at all. Upon performing a variant of the Vatti algorithm to identify hot pixels within an arrangement of polygons, the polygon Boolean operation and topology correction algorithm runs a second variant of the Vatti algorithm to generate polygons within an integer coordinate system using snap-rounding.

Abstract: A polygon Boolean operation and topology correction algorithm generates valid polygons despite polygon data containing self-intersecting polygons, overlapping polygons, polygons including a chain of holes, and/or polygons including complex intersections. A polygon Boolean operation and topology correction algorithm uses two variants of the Vatti algorithm along with a topology correction algorithm to address problematic areas within input data, such as the overlapping area shared between one or more polygons or a polygon having no area at all. Upon performing a variant of the Vatti algorithm to identify hot pixels within an arrangement of polygons, the polygon Boolean operation and topology correction algorithm runs a second variant of the Vatti algorithm to generate polygons within an integer coordinate system using snap-rounding.

Abstract: A vector tile generator receives map features from a database of raw map data. Each map feature includes geometry data and property data. The vector tile generator stores the property data in a property store. The vector tile generator generates, based on the geometry data, a set of zoom data organized into a plurality of zoom levels. Each zoom level includes at least some of the map features. The vector tile generator maps the map features of the set of zoom data to a plurality of tiles that includes a set of tiles for each of the zoom levels. For each tile, the vector tile generator clips map features mapped to the tile based on a boundary of the tile, encodes the clipped map features to a vector format, and merges the encoded clipped map features with the stored property data corresponding to the map features in the tile.

Abstract: A polygon Boolean operation and topology correction algorithm generates valid polygons despite polygon data containing self-intersecting polygons, overlapping polygons, polygons including a chain of holes, and/or polygons including complex intersections. A polygon Boolean operation and topology correction algorithm uses two variants of the Vatti algorithm along with a topology correction algorithm to address problematic areas within input data, such as the overlapping area shared between one or more polygons or a polygon having no area at all. Upon performing a variant of the Vatti algorithm to identify hot pixels within an arrangement of polygons, the polygon Boolean operation and topology correction algorithm runs a second variant of the Vatti algorithm to generate polygons within an integer coordinate system using snap-rounding.