mcrl2/utilities/reachable_nodes.h

Include file:

#include "mcrl2/utilities/reachable_nodes.h"

add your file description here.

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].