Proper handling of acyclic graphs
Previously, results of topologicalSort
and heightLevels
was not really meaningful for cyclic graphs.
This release introduces checkAcyclic
which returns an AcyclicGraph
in the succeeding case, witnessing the fact that the graph is acyclic.
topologicalSort
and heightLevels
now take an AcyclicGraph
as argument, and stronglyConnectedComponents
returns a Result
, being a more elaborate version of checkAcyclic
.