An event for synchronization. More...
#include <thread.hpp>
Public Member Functions | |
Event (void) | |
Initialize event. | |
void | signal (void) |
Signal the event. | |
void | wait (void) |
Wait until the event becomes signalled. | |
~Event (void) | |
Delete event. |
An event for synchronization.
An event can be waited on by a single thread until the event is signalled.
Definition at line 223 of file thread.hpp.
Gecode::Support::Event::Event | ( | void | ) | [inline] |
Gecode::Support::Event::~Event | ( | void | ) | [inline] |
void Gecode::Support::Event::signal | ( | void | ) | [inline] |
void Gecode::Support::Event::wait | ( | void | ) | [inline] |