~DiskImpl() override;
/** @brief Public interface */
+ const s4u::Disk* get_iface() const { return &piface_; }
s4u::Disk* get_iface() { return &piface_; }
s4u::Host* get_host() const { return host_; }
void set_host(s4u::Host* host) { host_ = host; }
lmm::Constraint* get_write_constraint() const { return constraint_write_; }
/** @brief Check if the Storage is used (if an action currently uses its resources) */
- bool is_used() override;
+ bool is_used() const override;
void apply_event(profile::Event* event, double value) override;
void turn_on() override;
void turn_off() override;