Include file:
#include "mcrl2/utilities/reachable_nodes.h"
add your file description here.
mcrl2::utilities::
reachable_nodes
(const Graph &g, Iter first, Iter last)¶Compute reachable nodes in a graph.
Parameters:
Returns: The indices of the nodes that are reachable from the nodes given by the range of vertex descriptors [first, last].