mcrl2/pbes/resolve_name_clashes.h

Include file:

#include "mcrl2/pbes/resolve_name_clashes.h"

add your file description here.

Functions

void mcrl2::pbes_system::resolve_summand_variable_name_clashes(srf_pbes &pbesspec, const data::variable_list &process_parameters)

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

Functions

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