From fbdf7929b87f3e41b0ff573b8eaae44cdfae16d9 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Thu, 1 Mar 2012 11:48:20 +0100 Subject: Remove loops from the graph created by digraph_utils:condensation/1 The function digraph_utils:condensation/1 used to create a digraph containing loops contradicting the documentation which states that the created digraph is free of cycles. Thanks to Kostis Sagonas for finding the bug. --- lib/stdlib/doc/src/digraph_utils.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/stdlib/doc/src/digraph_utils.xml') diff --git a/lib/stdlib/doc/src/digraph_utils.xml b/lib/stdlib/doc/src/digraph_utils.xml index e44632bfd2..ef6e1cb46f 100644 --- a/lib/stdlib/doc/src/digraph_utils.xml +++ b/lib/stdlib/doc/src/digraph_utils.xml @@ -4,7 +4,7 @@
- 20002011 + 20002012 Ericsson AB. All Rights Reserved. @@ -156,7 +156,7 @@

Creates a digraph where the vertices are the strongly connected components of Digraph as returned by - strong_components/1. If X and Y are strongly + strong_components/1. If X and Y are two different strongly connected components, and there exist vertices x and y in X and Y respectively such that there is an edge emanating from x -- cgit v1.2.3