resolve_name_clashes.h File Reference

Go to the source code of this file.

Classes
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
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
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.