specification_basic_type::make_substitution Struct Reference

Public Types
typedef process_identifier	result_type
typedef process_identifier	argument_type

Public Member Functions
	make_substitution (const std::map< process_identifier, process_identifier > &map)
process_identifier	operator() (const process_identifier &id) const

Public Attributes
const std::map< process_identifier, process_identifier > &	m_map

Detailed Description

Definition at line 4032 of file linearise.cpp.

Member Typedef Documentation

argument_type

typedef process_identifier specification_basic_type::make_substitution::argument_type

Definition at line 4035 of file linearise.cpp.

result_type

typedef process_identifier specification_basic_type::make_substitution::result_type

Definition at line 4034 of file linearise.cpp.

Constructor & Destructor Documentation

make_substitution()

specification_basic_type::make_substitution::make_substitution ( const std::map< process_identifier, process_identifier > &  map )

inline

Definition at line 4038 of file linearise.cpp.

Member Function Documentation

operator()()

process_identifier specification_basic_type::make_substitution::operator() ( const process_identifier &  id ) const

inline

Definition at line 4042 of file linearise.cpp.

Member Data Documentation

m_map

const std::map< process_identifier, process_identifier >& specification_basic_type::make_substitution::m_map

Definition at line 4036 of file linearise.cpp.

---

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

• lps/source/linearise.cpp