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