
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 |