
This is the complete list of members for Gecode::BrancherHandle, including all inherited members.
| BrancherHandle(void) | Gecode::BrancherHandle | inline |
| BrancherHandle(const Brancher &b) | Gecode::BrancherHandle | inline |
| id(void) const | Gecode::BrancherHandle | inline |
| kill(Space &home) | Gecode::BrancherHandle | inline |
| operator()(const Space &home) const | Gecode::BrancherHandle | inline |
| update(Space &home, bool share, BrancherHandle &bh) | Gecode::BrancherHandle | inline |