
An event for synchronization. More...
#include <gecode/support/thread.hpp>
Public Member Functions | |
| Event (void) | |
| Initialize event. | |
| void | signal (void) |
| Signal the event. | |
| void | wait (void) |
| Wait until the event becomes signalled. | |
An event for synchronization.
An event can be waited on by a single thread until the event is signalled.
Definition at line 138 of file thread.hpp.
|
inline |
Initialize event.
Definition at line 131 of file thread.hpp.
|
inline |
Signal the event.
Definition at line 133 of file thread.hpp.
|
inline |
Wait until the event becomes signalled.
Definition at line 143 of file thread.hpp.