diff options
Diffstat (limited to 'src/graph.mli')
| -rw-r--r-- | src/graph.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/graph.mli b/src/graph.mli index 748ce717..11ea63dc 100644 --- a/src/graph.mli +++ b/src/graph.mli @@ -61,7 +61,7 @@ module type S = type node type graph type node_set - + val leaves : graph -> node_set val empty : graph @@ -71,6 +71,8 @@ module type S = val add_edge : node -> node -> graph -> graph val add_edges : node -> node list -> graph -> graph + val children : graph -> node -> node list + (** Return the set of nodes that are reachable from the first set of nodes (roots), without passing through the second set of nodes (cuts). *) |