Generated on Wed Jan 4 17:49:18 2006 for Gecode by doxygen 1.4.6

Gecode::Branching Class Reference
[Programming actors]

Inherits Gecode::Actor.

Inherited by Gecode::Int::Branch::Assign, and Gecode::ViewValBranching< View, Val, ViewSel, ValSel >.

List of all members.


Detailed Description

Base-class for branchings.

Definition at line 521 of file core.icc.

Branching

virtual unsigned int branch (void)=0
 Perform branching, return number of alternatives.
virtual ExecStatus commit (Space *, unsigned int a, BranchingDesc *d)=0
 Perform commit for alternative a.
virtual BranchingDescdescription (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]
 

Constructor for creation, force deletion if fd is true.

Definition at line 1208 of file core.icc.

Gecode::Branching::Branching Space home,
bool  share,
Branching b
[inline, protected]
 

Constructor for cloning b.

Definition at line 1213 of file core.icc.


Member Function Documentation

virtual unsigned int Gecode::Branching::branch void   )  [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 ,
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: