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)