| 130 | forceinline |
| 131 | Event::Event(void) : s(false) {} |
| 132 | forceinline void |
| 133 | Event::signal(void) { |
| 134 | #ifdef GECODE_HAS_THREADS |
| 135 | std::unique_lock<std::mutex> l(m); |
| 136 | if (!s) { |
| 137 | s = true; |
| 138 | c.notify_one(); |
| 139 | } |
| 140 | #endif |
| 141 | } |
| 142 | forceinline void |
| 143 | Event::wait(void) { |
| 144 | #ifdef GECODE_HAS_THREADS |