#include <pbesinst_alternative_lazy_algorithm.h>

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

propositional_variable_instantiation	operator() (const propositional_variable_instantiation &v) const

Protected Attributes
const std::unordered_map< propositional_variable_instantiation, propositional_variable_instantiation > &	m_pv_renaming

Detailed Description

Definition at line 58 of file pbesinst_alternative_lazy_algorithm.h.

Constructor & Destructor Documentation

◆ rename_pbesinst_consecutively()

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

inline

Definition at line 64 of file pbesinst_alternative_lazy_algorithm.h.

Member Function Documentation

◆ operator()()

propositional_variable_instantiation mcrl2::pbes_system::detail::rename_pbesinst_consecutively::operator() ( const propositional_variable_instantiation & v ) const

inline

Definition at line 69 of file pbesinst_alternative_lazy_algorithm.h.

Member Data Documentation

◆ m_pv_renaming

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

protected

Definition at line 61 of file pbesinst_alternative_lazy_algorithm.h.

The documentation for this class was generated from the following file:

pbes/include/mcrl2/pbes/pbesinst_alternative_lazy_algorithm.h

Public Member Functions