mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_checker¶

Include file:

#include "mcrl2/modal_formula/has_name_clashes.h

class mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_checker¶: Traverser that checks for name clashes in parameters of nested mu’s/nu’s and forall/exists.

Public types¶

type mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_checker::super¶: typedef for state_formulas::state_formula_traverser< state_formula_data_variable_name_clash_checker >

Public attributes¶

std::set<core::identifier_string> mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_checker::m_names¶

Public member functions¶

void enter(const exists &x)¶

void enter(const forall &x)¶

void enter(const mu &x)¶

void enter(const nu &x)¶

void erase(const core::identifier_string &name)¶

void insert(const core::identifier_string &name, const state_formula &x)¶

void leave(const exists &x)¶

void leave(const forall &x)¶

void leave(const mu &x)¶

void leave(const nu &x)¶