Gecode::Int::Branch::Assign Class Reference
#include <branch.hh>
Inherits Gecode::Branching.
Inherited by Gecode::Int::Branch::AssignMax, Gecode::Int::Branch::AssignMed, and Gecode::Int::Branch::AssignMin.
Detailed Description
Assignment (single-alternative branching) base-class.
Definition at line 373 of file branch.hh.
Public Member Functions | |
| Assign (Space *home, ViewArray< IntView > &x) | |
| Constructor for creation. | |
| virtual bool | status (const Space *home) const |
| Perform branching (selects view). | |
| virtual ExecStatus | commit (Space *home, const BranchingDesc *d, unsigned int a) |
| Perform commit for branching description d and alternative a. | |
Protected Member Functions | |
| Assign (Space *home, bool share, Assign &b) | |
| Constructor for cloning b. | |
Protected Attributes | |
| ViewArray< IntView > | x |
| Views to assign. | |
| int | pos |
| Next position to be assigned. | |
Constructor & Destructor Documentation
Member Function Documentation
| bool Gecode::Int::Branch::Assign::status | ( | const Space * | home | ) | const [virtual] |
| ExecStatus Gecode::Int::Branch::Assign::commit | ( | Space * | home, | |
| const BranchingDesc * | d, | |||
| unsigned int | a | |||
| ) | [virtual] |
Member Data Documentation
ViewArray<IntView> Gecode::Int::Branch::Assign::x [protected] |
int Gecode::Int::Branch::Assign::pos [mutable, protected] |
The documentation for this class was generated from the following files:
- gecode/int/branch.hh (Revision: 3512)
- gecode/int/branch/assign.cc (Revision: 3402)
- gecode/int/branch/assign.icc (Revision: 3388)