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