mcrl2::pbes_system::detail::rename_pbesinst_consecutively

Include file:

#include "mcrl2/pbes/pbesinst_alternative_lazy_algorithm.h

class mcrl2::pbes_system::detail::rename_pbesinst_consecutively

Protected attributes

const std::unordered_map<propositional_variable_instantiation, propositional_variable_instantiation> &mcrl2::pbes_system::detail::rename_pbesinst_consecutively::m_pv_renaming

Public member functions

propositional_variable_instantiation operator()(const propositional_variable_instantiation &v) const

rename_pbesinst_consecutively(const std::unordered_map<propositional_variable_instantiation, propositional_variable_instantiation> &pv_renaming)