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
|
||||||||||||||||
|
Constructor for cloning b.
Definition at line 42 of file assign.icc. |
|
||||||||||||
|
Constructor for creation.
Definition at line 47 of file assign.icc. |
Member Function Documentation
|
|
Perform branching (selects view).
Implements Gecode::Branching. |
|
||||||||||||||||
|
Perform commit for branching description d and alternative a.
Implements Gecode::Branching. |
Member Data Documentation
|
|
Views to assign.
|
|
|
Next position to be assigned.
|
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)