mcrl2/process/process_variable_strongly_connected_components.h

Include file:

#include "mcrl2/process/process_variable_strongly_connected_components.h"

add your file description here.

Classes

• mcrl2::process::detail::find_process_identifiers_traverser
• mcrl2::process::detail::process_variable_scc_algorithm
• mcrl2::process::detail::tarjan_scc_algorithm
• mcrl2::process::detail::tarjan_scc_algorithm::vertex

Functions

std::vector<std::set<process_identifier>> mcrl2::process::process_variable_strongly_connected_components(const std::vector<process_equation> &equations)

Computes an SCC graph of the equations.

std::vector<std::set<process_identifier>> mcrl2::process::process_variable_strongly_connected_components(const std::vector<process_equation> &equations, const process_expression &init)

Compute an SCC graph of the equations reachable from init.

Functions

std::set<process_identifier> mcrl2::process::detail::find_process_identifiers(const process_expression &x)