mcrl2/lps/resolve_name_clashes.h

Include file:

#include "mcrl2/lps/resolve_name_clashes.h"

add your file description here.

Functions

void mcrl2::lps::resolve_summand_variable_name_clashes(Specification &spec)

Renames summand variables such that there are no name clashes between summand variables and process parameters.

Functions

void mcrl2::lps::detail::resolve_summand_variable_name_clashes(action_summand &summand, const std::set<core::identifier_string> &process_parameter_names, data::set_identifier_generator &generator)

void mcrl2::lps::detail::resolve_summand_variable_name_clashes(deadlock_summand &summand, const std::set<core::identifier_string> &process_parameter_names, data::set_identifier_generator &generator)

void mcrl2::lps::detail::resolve_summand_variable_name_clashes(stochastic_action_summand &summand, const std::set<core::identifier_string> &process_parameter_names, data::set_identifier_generator &generator)

std::set<core::identifier_string> mcrl2::lps::detail::variable_name_clashes(const VariableContainer &v, const std::set<core::identifier_string> &w)

std::set<core::identifier_string> mcrl2::lps::detail::variable_names(const VariableContainer &v)