specification_basic_type::process_pid_pair

class specification_basic_type::process_pid_pair

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)