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
	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 3869 of file linearise.cpp.

Constructor & Destructor Documentation

process_pid_pair() [1/6]

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

inline

Definition at line 3876 of file linearise.cpp.

process_pid_pair() [2/6]

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

default

process_pid_pair() [3/6]

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

default

process_pid_pair() [4/6]

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

inline

Definition at line 3876 of file linearise.cpp.

process_pid_pair() [5/6]

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

default

process_pid_pair() [6/6]

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

default

Member Function Documentation

operator=() [1/4]

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

default

operator=() [2/4]

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

default

operator=() [3/4]

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

default

operator=() [4/4]

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

default

process_body() [1/2]

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

inline

Definition at line 3885 of file linearise.cpp.

process_body() [2/2]

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

inline

Definition at line 3885 of file linearise.cpp.

process_id() [1/2]

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

inline

Definition at line 3890 of file linearise.cpp.

process_id() [2/2]

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

inline

Definition at line 3890 of file linearise.cpp.

Member Data Documentation

m_pid

process_identifier specification_basic_type::process_pid_pair::m_pid

protected

Definition at line 3873 of file linearise.cpp.

m_process_body

process_expression specification_basic_type::process_pid_pair::m_process_body

protected

Definition at line 3872 of file linearise.cpp.

---

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

• lps/source/linearise.cpp