Gecode::PosValDesc< Val > Class Template Reference
[Generic branching based on view and value selection]
Inherits Gecode::BranchingDesc.
Detailed Description
template<class Val>
class Gecode::PosValDesc< Val >
Branching descriptions storing position and value
Definition at line 93 of file branching.icc.
Public Member Functions | |
PosValDesc (const Branching *b, const int p, const Val &n, const int s=0) | |
Initialize description for branching b, position p, value n, and start position s. | |
int | pos (void) const |
Return position in array. | |
Val | val (void) const |
Return value to branch with. | |
int | start (void) const |
Return the start index in the array. | |
virtual size_t | size (void) const |
Report size occupied. | |
Protected Attributes | |
const int | _pos |
const Val | _val |
const int | _start |
Constructor & Destructor Documentation
|
Initialize description for branching b, position p, value n, and start position s. The start position can be used in the commit function to eliminate assigned variables from the array. Definition at line 129 of file branching.icc. |
Member Function Documentation
|
Return position in array.
Definition at line 135 of file branching.icc. |
|
Return value to branch with.
Definition at line 141 of file branching.icc. |
|
Return the start index in the array.
Definition at line 147 of file branching.icc. |
|
Report size occupied.
Implements Gecode::BranchingDesc. Definition at line 153 of file branching.icc. |
Member Data Documentation
|
Definition at line 95 of file branching.icc. |
|
Definition at line 96 of file branching.icc. |
|
Definition at line 97 of file branching.icc. |
The documentation for this class was generated from the following file:
- gecode/kernel/branching.icc (Revision: 3784)