Given a collection of vertices of a digraph, the reachable vertices are those that are on a path away from a vertices in the collection.

- descendants -- returns the descendants of a digraph
- isReachable -- checks if a vertex u is reachable from a vertex v

- "reachable(Digraph,List)"
- "reachable(Digraph,Set)"

The object reachable is a method function.