Merge branch 'sail2' of https://github.com/rems-project/sail into sail2

1 files changed, 5 insertions, 0 deletions

diff --git a/src/graph.mli b/src/graph.mli
index 09b78304..cb29daae 100644
--- a/src/graph.mli
+++ b/src/graph.mli
@@ -91,6 +91,11 @@ module type S =
        not directed acyclic. *)
     val topsort : graph -> node list
 
+    (** Find strongly connected components using Tarjan's algorithm.
+        This algorithm also returns a topological sorting of the graph
+        components. *)
+    val scc : ?original_order:(node list) -> graph -> node list list
+
     val make_dot : (node -> string) -> (node -> node -> string) -> (node -> string) -> out_channel -> graph -> unit
   end