void DiskImpl::destroy()
{
s4u::Disk::on_destruction(piface_);
+ piface_.on_this_destruction(piface_);
delete this;
}
if (not is_on()) {
Resource::turn_on();
s4u::Disk::on_state_change(piface_);
+ piface_.on_this_state_change(piface_);
}
}
void DiskImpl::turn_off()
if (is_on()) {
Resource::turn_off();
s4u::Disk::on_state_change(piface_);
+ piface_.on_this_state_change(piface_);
const kernel::lmm::Element* elem = nullptr;
double now = EngineImpl::get_clock();