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.
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.