mcrl2::pbes_system::unify_parameters_replace_function Struct Reference

#include <unify_parameters.h>

Public Member Functions
data::variable_list	compute_parameters ()
	unify_parameters_replace_function (const std::map< core::identifier_string, data::variable_list > &propositional_variable_parameters_, const data::data_specification &dataspec, bool reset)
propositional_variable_instantiation	operator() (const propositional_variable_instantiation &x) const

Public Attributes
const std::map< core::identifier_string, data::variable_list > &	propositional_variable_parameters
data::default_expression_generator	generator
std::map< data::variable, std::size_t >	parameter_positions
std::map< data::variable_list, std::vector< data::variable > >	missing_parameters
data::variable_list	parameters
std::vector< data::data_expression >	tmp_parameters
bool	m_reset
	Indicates that instantiations of parameters are reset to a default value.

Detailed Description

Definition at line 25 of file unify_parameters.h.

Constructor & Destructor Documentation

unify_parameters_replace_function()

mcrl2::pbes_system::unify_parameters_replace_function::unify_parameters_replace_function ( const std::map< core::identifier_string, data::variable_list > &  propositional_variable_parameters_, const data::data_specification &  dataspec, bool  reset  )

inline

Definition at line 67 of file unify_parameters.h.

Member Function Documentation

compute_parameters()

data::variable_list mcrl2::pbes_system::unify_parameters_replace_function::compute_parameters ( )

inline

Definition at line 48 of file unify_parameters.h.

operator()()

propositional_variable_instantiation mcrl2::pbes_system::unify_parameters_replace_function::operator() ( const propositional_variable_instantiation &  x ) const

inline

Definition at line 102 of file unify_parameters.h.

Member Data Documentation

generator

data::default_expression_generator mcrl2::pbes_system::unify_parameters_replace_function::generator

mutable

Definition at line 31 of file unify_parameters.h.

m_reset

bool mcrl2::pbes_system::unify_parameters_replace_function::m_reset

Indicates that instantiations of parameters are reset to a default value.

Definition at line 46 of file unify_parameters.h.

missing_parameters

std::map<data::variable_list, std::vector<data::variable> > mcrl2::pbes_system::unify_parameters_replace_function::missing_parameters

mutable

Definition at line 37 of file unify_parameters.h.

parameter_positions

std::map<data::variable, std::size_t> mcrl2::pbes_system::unify_parameters_replace_function::parameter_positions

mutable

Definition at line 34 of file unify_parameters.h.

parameters

data::variable_list mcrl2::pbes_system::unify_parameters_replace_function::parameters

Definition at line 40 of file unify_parameters.h.

propositional_variable_parameters

const std::map<core::identifier_string, data::variable_list>& mcrl2::pbes_system::unify_parameters_replace_function::propositional_variable_parameters

Definition at line 28 of file unify_parameters.h.

tmp_parameters

std::vector<data::data_expression> mcrl2::pbes_system::unify_parameters_replace_function::tmp_parameters

mutable

Definition at line 43 of file unify_parameters.h.

---

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

• pbes/include/mcrl2/pbes/unify_parameters.h