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)