# mcrl2/utilities/reachable_nodes.h¶

Include file:

#include "mcrl2/utilities/reachable_nodes.h"


## Functions¶

std::vector<std::size_t> mcrl2::utilities::reachable_nodes(const Graph &g, Iter first, Iter last)

Compute reachable nodes in a graph.

Parameters:

• g A graph.

• first Iterator to the first node.

• last Iterator to the last node.

Returns: The indices of the nodes that are reachable from the nodes given by the range of vertex descriptors [first, last].