Module differential_dataflow::algorithms::graphs::propagate

Directed label reachability.

Functions

propagate	Propagates labels forward, retaining the minimum label.
propagate_at	Propagates labels forward, retaining the minimum label.