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.