specification_basic_type::process_pid_pair

class specification_basic_type::process_pid_pair

Protected attributes

process_identifier specification_basic_type::process_pid_pair::m_pid

process_expression specification_basic_type::process_pid_pair::m_process_body

Public member functions

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