specification_basic_type::process_pid_pair Class Reference

Public Member Functions
	process_pid_pair (const process_expression &process_body, const process_identifier &pid)
	process_pid_pair (const process_pid_pair &other)=default
	process_pid_pair (process_pid_pair &&other)=default
process_pid_pair &	operator= (const process_pid_pair &other)=default
process_pid_pair &	operator= (process_pid_pair &&other)=default
const process_expression &	process_body () const
const process_identifier &	process_id () const

Protected Attributes
process_expression	m_process_body
process_identifier	m_pid

Detailed Description

Definition at line 4129 of file linearise.cpp.

Constructor & Destructor Documentation

process_pid_pair() [1/3]

specification_basic_type::process_pid_pair::process_pid_pair ( const process_expression &  process_body, const process_identifier &  pid  )

inline

Definition at line 4136 of file linearise.cpp.

process_pid_pair() [2/3]

specification_basic_type::process_pid_pair::process_pid_pair ( const process_pid_pair &  other )

default

process_pid_pair() [3/3]

specification_basic_type::process_pid_pair::process_pid_pair ( process_pid_pair &&  other )

default

Member Function Documentation

operator=() [1/2]

process_pid_pair & specification_basic_type::process_pid_pair::operator= ( const process_pid_pair &  other )

default

operator=() [2/2]

process_pid_pair & specification_basic_type::process_pid_pair::operator= ( process_pid_pair &&  other )

default

process_body()

const process_expression & specification_basic_type::process_pid_pair::process_body ( ) const

inline

Definition at line 4145 of file linearise.cpp.

process_id()

const process_identifier & specification_basic_type::process_pid_pair::process_id ( ) const

inline

Definition at line 4150 of file linearise.cpp.

Member Data Documentation

m_pid

process_identifier specification_basic_type::process_pid_pair::m_pid

protected

Definition at line 4133 of file linearise.cpp.

m_process_body

process_expression specification_basic_type::process_pid_pair::m_process_body

protected

Definition at line 4132 of file linearise.cpp.

---

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

• lps/source/linearise.cpp