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
template<class Val>
Gecode::PosValDesc< Val >::PosValDesc | ( | const Branching * | b, | |
const int | p, | |||
const Val & | n, | |||
const int | s = 0 | |||
) | [inline] |
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
template<class Val>
int Gecode::PosValDesc< Val >::pos | ( | void | ) | const [inline] |
template<class Val>
Val Gecode::PosValDesc< Val >::val | ( | void | ) | const [inline] |
template<class Val>
int Gecode::PosValDesc< Val >::start | ( | void | ) | const [inline] |
template<class Val>
size_t Gecode::PosValDesc< Val >::size | ( | void | ) | const [virtual] |
Report size occupied.
Implements Gecode::BranchingDesc.
Definition at line 153 of file branching.icc.
Member Data Documentation
template<class Val>
const int Gecode::PosValDesc< Val >::_pos [protected] |
Definition at line 95 of file branching.icc.
template<class Val>
const Val Gecode::PosValDesc< Val >::_val [protected] |
Definition at line 96 of file branching.icc.
template<class Val>
const int Gecode::PosValDesc< Val >::_start [protected] |
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)