final case classTopology[V, E <: Edge[V]] extends Ordering[V] with Product with Serializable
An online topological order maintenance structure.
An online topological order maintenance structure. This is an immutable data structure with
amortized costs. The edge adding operation returns a new copy of the modified structure along
with a list of vertices which have been moved due to the insertion. The caller can then use
that list to adjust any views (e.g. DSP processes).
An online topological order maintenance structure. This is an immutable data structure with amortized costs. The edge adding operation returns a new copy of the modified structure along with a list of vertices which have been moved due to the insertion. The caller can then use that list to adjust any views (e.g. DSP processes).
vertex type
edge type