Handle for brancher. More...
#include <core.hpp>
Public Member Functions | |
BrancherHandle (void) | |
Create handle as unitialized. More... | |
BrancherHandle (const Brancher &b) | |
Create handle for brancher b. More... | |
void | update (Space &home, bool share, BrancherHandle &bh) |
Update during cloning. More... | |
unsigned int | id (void) const |
Return brancher id. More... | |
bool | operator() (const Space &home) const |
Check whether brancher is still active. More... | |
void | kill (Space &home) |
Kill the brancher. More... | |
Handle for brancher.
Supports few operations on a brancher, in particular to kill a brancher.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |