resolve_name_clashes.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
template<bool allow_ce>
void	mcrl2::pbes_system::detail::resolve_summand_variable_name_clashes (pre_srf_summand< allow_ce > &summand, const std::set< core::identifier_string > &process_parameter_names, data::set_identifier_generator &generator)
template<bool allow_ce>
void	mcrl2::pbes_system::resolve_summand_variable_name_clashes (detail::pre_srf_pbes< allow_ce > &pbesspec, const data::variable_list &process_parameters)
	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.