mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/modal_formula/resolve_name_clashes.h .. cpp:class:: mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver Public types ------------------------------------------------------------------------------- .. cpp:type:: mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver::super typedef for :cpp:type:`state_formulas::data_expression_builder\< state_formula_data_variable_name_clash_resolver >` Public attributes ------------------------------------------------------------------------------- .. cpp:member:: std::multiset< data::variable > mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver::bound_variables .. cpp:member:: data::set_identifier_generator & mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver::generator .. cpp:member:: std::map< data::variable, std::vector< data::variable > > mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver::substitutions Public member functions ------------------------------------------------------------------------------- .. cpp:function:: action_formulas::action_formula apply(const action_formulas::exists &x) .. cpp:function:: action_formulas::action_formula apply(const action_formulas::forall &x) .. cpp:function:: data::data_expression apply(const data::data_expression &x) .. cpp:function:: state_formula apply(const exists &x) .. cpp:function:: state_formula apply(const forall &x) .. cpp:function:: state_formula apply(const mu &x) .. cpp:function:: state_formula apply(const nu &x) .. cpp:function:: data::assignment_list apply_assignments(const data::assignment_list &x) .. cpp:function:: data::variable_list apply_variables(const data::variable_list &x) .. cpp:function:: void erase(const data::variable &v) .. cpp:function:: void insert(const data::variable &v) .. cpp:function:: state_formula_data_variable_name_clash_resolver(data::set_identifier_generator &generator_)