resolve_name_clashes.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
class	mcrl2::state_formulas::detail::mapvector_substitution
class	mcrl2::state_formulas::detail::state_variable_name_clash_resolver< Derived >
class	mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver

Namespaces
namespace	mcrl2
namespace	mcrl2::state_formulas
namespace	mcrl2::state_formulas::detail

Functions
state_formula	mcrl2::state_formulas::resolve_state_variable_name_clashes (const state_formula &x)
	Resolves name clashes in state variables of formula x.
state_formula	mcrl2::state_formulas::resolve_state_formula_data_variable_name_clashes (const state_formula &x, const std::set< core::identifier_string > &context_ids=std::set< core::identifier_string >())
	Resolves name clashes in data variables of formula x.

Detailed Description

add your file description here.

Definition in file resolve_name_clashes.h.