Gecode::Branching Class Reference
[Programming actors]
Inherits Gecode::Actor.
Inherited by BlackHoleBranch [private], Gecode::Int::Branch::Assign, Gecode::ViewValBranching< View, Val, ViewSel, ValSel >, and QueenArmies::QueenBranch [private].
Detailed Description
Base-class for branchings.Note that branchings cannot be created inside a propagator (no idea why one would like to that anyway). If you do that the system will explode in a truly interesting way.
Definition at line 553 of file core.icc.
Branching | |
| virtual bool | status (const Space *home) const =0 |
| Check status of branching, return true if alternatives left. | |
| virtual const BranchingDesc * | description (const Space *home) const =0 |
| Return branching description. | |
| virtual ExecStatus | commit (Space *home, const BranchingDesc *d, unsigned int a)=0 |
| Commit for branching description d and alternative a. | |
Protected Member Functions | |
| Branching (Space *home, bool fd=false) | |
| Constructor for creation, force disposal if fd is true. | |
| Branching (Space *home, bool share, Branching &b) | |
| Constructor for cloning b. | |
Constructor & Destructor Documentation
|
||||||||||||
|
Constructor for creation, force disposal if fd is true.
|
|
||||||||||||||||
|
Constructor for cloning b.
|
Member Function Documentation
|
|
Check status of branching, return true if alternatives left. This method is called when Space::status is called, it determines whether to continue branching with this branching or move on to the (possibly) next branching. Implemented in BlackHoleBranch, QueenArmies::QueenBranch, Gecode::Int::Branch::Assign, and Gecode::ViewValBranching< View, Val, ViewSel, ValSel >. |
|
|
Return branching description. Note that this method can rely on the fact that it is called immediately after a previous call to status. Hence, it is safe to remember computation from status in order to speed up description. Implemented in BlackHoleBranch, QueenArmies::QueenBranch, Gecode::Int::Branch::AssignMin, Gecode::Int::Branch::AssignMed, Gecode::Int::Branch::AssignMax, and Gecode::ViewValBranching< View, Val, ViewSel, ValSel >. |
|
||||||||||||||||
|
Commit for branching description d and alternative a. The current branching in the space home performs a commit from the information provided by the branching description d and the alternative a. Implemented in BlackHoleBranch, QueenArmies::QueenBranch, Gecode::Int::Branch::Assign, and Gecode::ViewValBranching< View, Val, ViewSel, ValSel >. |
The documentation for this class was generated from the following file:
- gecode/kernel/core.icc (Revision: 3787)