An interface for objects that can be called after a thread has terminated (after running the thread's destructor) More...
#include <thread.hpp>
Public Member Functions | |
virtual | ~Terminator () |
Destructor. | |
virtual void | terminated (void)=0 |
The function that is called when the thread has terminated. |
An interface for objects that can be called after a thread has terminated (after running the thread's destructor)
Definition at line 251 of file thread.hpp.
|
inlinevirtual |
Destructor.
Definition at line 254 of file thread.hpp.
|
pure virtual |
The function that is called when the thread has terminated.
Implemented in Gecode::Search::Par::Engine< Tracer >.