mcrl2::pbes_system::detail::rename_pbesinst_consecutively =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/pbes/pbesinst_alternative_lazy_algorithm.h .. cpp:class:: mcrl2::pbes_system::detail::rename_pbesinst_consecutively Protected attributes ------------------------------------------------------------------------------- .. cpp:member:: const std::unordered_map< propositional_variable_instantiation, propositional_variable_instantiation > & mcrl2::pbes_system::detail::rename_pbesinst_consecutively::m_pv_renaming Public member functions ------------------------------------------------------------------------------- .. cpp:function:: propositional_variable_instantiation operator()(const propositional_variable_instantiation &v) const .. cpp:function:: rename_pbesinst_consecutively(const std::unordered_map< propositional_variable_instantiation, propositional_variable_instantiation > &pv_renaming)