Functions

Computes a mapping: vertex -> set of vertices that are descendants of vertex.

Returns a new DAG that is a transitive closure of a DAG.

Returns a new DAG that is a transitive reduction of a DAG.