resolve_name_clashes.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lps
	The main namespace for the LPS library.
namespace	mcrl2::lps::detail

Functions
template<typename VariableContainer >
std::set< core::identifier_string >	mcrl2::lps::detail::variable_names (const VariableContainer &vars)
template<typename VariableContainer >
std::set< core::identifier_string >	mcrl2::lps::detail::variable_name_clashes (const VariableContainer &vars, const std::set< core::identifier_string > &w)
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)
template<typename Specification >
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.

Detailed Description

add your file description here.

Definition in file resolve_name_clashes.h.