Expand description

Directed label reachability.

Functions

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