specification_basic_type::process_pid_pair

class specification_basic_type::process_pid_pair

Protected attributes

process_identifier m_pid
process_expression m_process_body

Public member functions

process_pid_pair &operator=(const 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)