Returns all nodes reachable from source in G.
source
G
A directed graph
The descendants of source in G