From 396321939641a0d1229afd7b2430530fa4570cf3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Mon, 30 Nov 2015 15:37:01 +0100
Subject: [PATCH] Added comment for SCC.scala
---
src/main/scala/leon/utils/SCC.scala | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/utils/SCC.scala b/src/main/scala/leon/utils/SCC.scala
index d451accf7..dbde69fc1 100644
--- a/src/main/scala/leon/utils/SCC.scala
+++ b/src/main/scala/leon/utils/SCC.scala
@@ -3,8 +3,11 @@
package leon
package utils
-/** This could be defined anywhere, it's just that the
- termination checker is the only place where it is used. */
+/** Returns the list of strongly connected sets of vertices.
+ * A set is said strongly connected is from any vertex we can reach another vertex transitively.
+ *
+ * This could be defined anywhere, it's just that the
+ * termination checker is the only place where it is used. */
object SCC {
def scc[T](graph : Map[T,Set[T]]) : List[Set[T]] = {
// The first part is a shameless adaptation from Wikipedia
--
GitLab