
Representation of a branch in the search tree. More...
Public Member Functions | |
| Branch (int a, const Choice *c, SpaceNode *best=NULL) | |
| Constructor. More... | |
Public Attributes | |
| int | alternative |
| Alternative number. More... | |
| SpaceNode * | ownBest |
| The best space known when the branch was created. More... | |
| const Choice * | choice |
Representation of a branch in the search tree.
Definition at line 50 of file spacenode.cpp.
Constructor.
Definition at line 59 of file spacenode.cpp.
| int Gecode::Gist::Branch::alternative |
Alternative number.
Definition at line 53 of file spacenode.cpp.
| SpaceNode* Gecode::Gist::Branch::ownBest |
The best space known when the branch was created.
Definition at line 55 of file spacenode.cpp.
| const Choice* Gecode::Gist::Branch::choice |
Definition at line 56 of file spacenode.cpp.