mcrl2::state_formulas::detail::state_variable_name_clash_resolver¶

Include file:

#include "mcrl2/modal_formula/resolve_name_clashes.h

class mcrl2::state_formulas::detail::state_variable_name_clash_resolver¶

Public types¶

type mcrl2::state_formulas::detail::state_variable_name_clash_resolver::name_map¶: typedef for std::map< core::identifier_string, std::vector< core::identifier_string > >

type mcrl2::state_formulas::detail::state_variable_name_clash_resolver::super¶: typedef for state_formulas::state_formula_builder< Derived >

Public attributes¶

utilities::number_postfix_generator mcrl2::state_formulas::detail::state_variable_name_clash_resolver::m_generator¶: Generator for fresh variable names.

name_map mcrl2::state_formulas::detail::state_variable_name_clash_resolver::m_names¶: The stack of names.

Public member functions¶

void apply(T &result, const mu &x)

void apply(T &result, const nu &x)

void apply(T &result, const variable &x)¶

void enter(const mu &x)

void enter(const nu &x)

void leave(const mu &x)

void leave(const nu &x)

void pop(const core::identifier_string &name)¶: Pops the name of the stack.

void push(const core::identifier_string &name): Pushes name on the stack.