// Simplified version of SHORE conditional variable
Simplified version of SHORE conditional variable. // Instead of a separate cond var and a mutex, this combines them
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de