Skip to content
Snippets Groups Projects
Commit 155a9342 authored by Mikaël Mayer's avatar Mikaël Mayer
Browse files

Merge branch 'master' of https://github.com/MikaelMayer/leon into string-render

parents 764f094b 39632193
Branches
Tags
No related merge requests found
...@@ -3,8 +3,11 @@ ...@@ -3,8 +3,11 @@
package leon package leon
package utils package utils
/** This could be defined anywhere, it's just that the /** Returns the list of strongly connected sets of vertices.
termination checker is the only place where it is used. */ * 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 { object SCC {
def scc[T](graph : Map[T,Set[T]]) : List[Set[T]] = { def scc[T](graph : Map[T,Set[T]]) : List[Set[T]] = {
// The first part is a shameless adaptation from Wikipedia // The first part is a shameless adaptation from Wikipedia
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment