mcrl2::state_formulas::detail::state_variable_name_clash_checker

Include file:

#include "mcrl2/modal_formula/has_name_clashes.h

class mcrl2::state_formulas::detail::state_variable_name_clash_checker

Traverser that checks for name clashes in nested mu’s/nu’s.

Public types

type mcrl2::state_formulas::detail::state_variable_name_clash_checker::super

typedef for state_formulas::state_formula_traverser< state_variable_name_clash_checker >

Public attributes

std::vector<core::identifier_string> mcrl2::state_formulas::detail::state_variable_name_clash_checker::m_name_stack

The stack of names.

Public member functions

void enter(const mu &x)

void enter(const nu &x)

void leave(const mu&)

void leave(const nu&)

void pop()

Pops the stack.

void push(const core::identifier_string &name)

Pushes name on the stack.