Type Members

1.  class VirtualTileIndexCodec extends VirtualIndexCodec[Vertex, Edge]

   Default VirtualIndexCodec for Vertex and Edge.

   This is an experimental API. It may be removed or changed from one version to the next.

   Default VirtualIndexCodec for Vertex and Edge.

   Virtual vertices and edges are encoded inside the standard Vertex / Edge types by using the reserved tile id -1 as a sentinel value that cannot appear in real map data.

   • A 'virtual vertex' is a Vertex with tileId == TileId(-1). Its index field holds the zero-based position of the virtual vertex the patched graph's virtual vertex array.
   • A 'virtual edge' is an Edge whose source is a virtual vertex. Its index field holds the position of the edge in the patched graph's CSR edge array. The target vertex is resolved by patched-graph adjacency, not encoded in Edge.

   Annotations

   @Experimental()

   Note

   A ready-to-use implicit instance of this class is available via Implicits.virtualTileIndexCodec. Import Implicits._ to bring it into scope automatically wherever a VirtualIndexCodec[Vertex, Edge] implicit is required.