$Date: 2005/10/26 12:19:15 $
$Revision: 1.4 $
-- Creates a new condition variable.
-- Restarts all threads that are waiting on the condition variable.
-- Restarts one of the threads that are waiting on the condition variable.
-- Wait on the condition variable and unlocks a_mutex.
-- The mutex must be locked before calling this feature.
-- The mutex is needed to prevent raceconditions between
-- a wait and a signal operation.
-- Wait on the condition variable for at most a_timeout milliseconds.
-- Returns True if the condition variable was signaled.
-- Returns False if a timeout or an error occured.
*** Since Eiffel doesn't correctly support threats, this doesn't work yet ***
A condition variable that can be used to let threads wait for each
other.