mcrl2/modal_formula/resolve_name_clashes.h

Include file:

#include "mcrl2/modal_formula/resolve_name_clashes.h"

Classes

• mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver
• mcrl2::state_formulas::detail::state_variable_name_clash_resolver

Functions

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.

state_formula mcrl2::state_formulas::resolve_state_variable_name_clashes(const state_formula &x)

Resolves name clashes in state variables of formula x.