Module Topological

module Topological: sig .. end

Topological order.

This functor provides functions which allow iterating over a graph in topological order.

module type G = sig .. end

Minimal graph signature to provide.

module Make: functor (G : G) -> sig .. end

Functor providing topological iterators over a graph.

module Make_stable: functor (G : G) -> sig .. end

Provide the same features than Topological.Make, except that the resulting topological ordering is stable according to vertices comparison: if two vertices v1 and v2 are topologically equal, v1 is presented first to the iterator if and only if G.V.compare v1 v2 <= 0.