
Completion event for the current run. More...
#include <gecode/search/par/pbs.hh>
Public Member Functions | |
| Completion (void) | |
| Initialize as completed. | |
| virtual void | terminated (void) |
| Signal completion. | |
| void | wait (void) |
| Wait for completion and consume the signal. | |
| Public Member Functions inherited from Gecode::Support::Terminator | |
| virtual | ~Terminator () |
| Destructor. | |
Protected Attributes | |
| Support::Event | done |
| The completion event. | |
Completion event for the current run.
|
inline |
|
inlinevirtual |
|
inline |
|
protected |