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.

Detailed Description

An event for synchronization.

An event can be waited on by a single thread until the event is signalled.

Definition at line 152 of file thread.hpp.

Constructor & Destructor Documentation

Gecode::Support::Event::Event ( void ) [inline]

Initialize event.

Definition at line 61 of file none.hpp.

Gecode::Support::Event::~Event ( void ) [inline]

Delete event.

Definition at line 67 of file none.hpp.

void Gecode::Support::Event::signal ( void ) [inline]

Signal the event.

Definition at line 63 of file none.hpp.

void Gecode::Support::Event::wait ( void ) [inline]

Wait until the event becomes signalled.

Definition at line 65 of file none.hpp.

The documentation for this class was generated from the following files: