+ return nullptr == simcall_mbox_front(pimpl_);
+}
+
+void s4u::Mailbox::setReceiver(smx_process_t process) {
+ simcall_mbox_set_receiver(pimpl_, process);
+}
+/** @brief get the receiver (process associated to the mailbox) */
+smx_process_t s4u::Mailbox::receiver() {
+ return pimpl_->permanent_receiver;