mcrl2/process/eliminate_unused_equations.h

Include file:

#include "mcrl2/process/eliminate_unused_equations.h"

add your file description here.

Classes

• mcrl2::process::eliminate_unused_equations_algorithm
• mcrl2::process::detail::process_variable_dependency_graph_traverser
• mcrl2::process::detail::process_variable_dependency_traverser

Functions

void mcrl2::process::eliminate_unused_equations(std::vector<process_equation> &equations, const process_expression &init)