From 8499f4eee25bb0e0dcf3a82aa691cb501df220e2 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 2 Jan 2022 22:02:04 +0100 Subject: [PATCH] manual: Add types for the functions from Spanning Trees. --- manual.scrbl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/manual.scrbl b/manual.scrbl index 04505d6..7b8502a 100644 --- a/manual.scrbl +++ b/manual.scrbl @@ -165,6 +165,12 @@ Graph properties are not supported. @defproc[(cc/bfs [g Graph]) (Listof (Listof Any))]{} @defproc[(scc [g Graph]) (Listof (Listof Any))]{} +@subsection{Spanning Trees} +@defproc[(min-st-kruskal [g Graph]) (Listof (List Any Any))]{} +@defproc[(max-st-kruskal [g Graph]) (Listof (List Any Any))]{} +@defproc[(min-st-prim [g Graph] [source Any]) (Listof (List Any Any))]{} +@defproc[(max-st-prim [g Graph] [source Any]) (Listof (List Any Any))]{} + @section{License} Like the generic graph library, this library is licensed under the Apache