Gecode::Branching Class Reference
[Programming actors]
Inherits Gecode::Actor.
Inherited by Gecode::Int::Branch::Assign, and Gecode::ViewValBranching< View, Val, ViewSel, ValSel >.
Detailed Description
Base-class for branchings.
Definition at line 533 of file core.icc.
Branching | |
| virtual unsigned int | branch (Space *home)=0 |
| Perform branching, return number of alternatives. | |
| virtual ExecStatus | commit (Space *home, unsigned int a, BranchingDesc *d)=0 |
| Perform commit for alternative a. | |
| virtual BranchingDesc * | description (void)=0 |
| Return branching description (if NULL, no batch recomputation is used). | |
Protected Member Functions | |
| Branching (Space *home, bool fd=false) | |
| Constructor for creation, force deletion if fd is true. | |
| Branching (Space *home, bool share, Branching &b) | |
| Constructor for cloning b. | |
Constructor & Destructor Documentation
| Gecode::Branching::Branching | ( | Space * | home, | |
| bool | fd = false | |||
| ) | [inline, protected] |
Member Function Documentation
| virtual unsigned int Gecode::Branching::branch | ( | Space * | home | ) | [pure virtual] |
Perform branching, return number of alternatives.
Implemented in Gecode::Int::Branch::Assign, and Gecode::ViewValBranching< View, Val, ViewSel, ValSel >.
| virtual ExecStatus Gecode::Branching::commit | ( | Space * | home, | |
| unsigned int | a, | |||
| BranchingDesc * | d | |||
| ) | [pure virtual] |
Perform commit for alternative a.
If d is different from NULL, replay commit from information stored in the branching description d. Otherwise, let the branching decide how to commit to alternative a.
Implemented in Gecode::Int::Branch::AssignMin, Gecode::Int::Branch::AssignMed, Gecode::Int::Branch::AssignMax, and Gecode::ViewValBranching< View, Val, ViewSel, ValSel >.
| virtual BranchingDesc* Gecode::Branching::description | ( | void | ) | [pure virtual] |
Return branching description (if NULL, no batch recomputation is used).
Implemented in Gecode::Int::Branch::AssignMin, Gecode::Int::Branch::AssignMed, Gecode::Int::Branch::AssignMax, and Gecode::ViewValBranching< View, Val, ViewSel, ValSel >.
The documentation for this class was generated from the following file:
- gecode/kernel/core.icc (Revision: 3269)