/** Used to implement mutexes, semaphores and conditions */
XBT_PUBLIC_CLASS Raw : public Synchro {
public:
- void suspend();
- void resume();
+ ~Raw() override;
+ void suspend() override;
+ void resume() override;
+ void post() override;
- surf_action_t sleep;
+ surf_action_t sleep = nullptr;
};
}} // namespace simgrid::simix