mCRL2
|
This is the complete list of members for specification_basic_type::process_pid_pair, including all inherited members.
m_pid | specification_basic_type::process_pid_pair | protected |
m_process_body | specification_basic_type::process_pid_pair | protected |
operator=(const process_pid_pair &other)=default | specification_basic_type::process_pid_pair | |
operator=(process_pid_pair &&other)=default | specification_basic_type::process_pid_pair | |
process_body() const | specification_basic_type::process_pid_pair | inline |
process_id() const | specification_basic_type::process_pid_pair | inline |
process_pid_pair(const process_expression &process_body, const process_identifier &pid) | specification_basic_type::process_pid_pair | inline |
process_pid_pair(const process_pid_pair &other)=default | specification_basic_type::process_pid_pair | |
process_pid_pair(process_pid_pair &&other)=default | specification_basic_type::process_pid_pair |