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 (Branching *, int, Val) | |
| Initialize decsription. | |
| int | pos (void) const |
| Return position in array. | |
| Val | val (void) const |
| Return value to branch with. | |
| virtual size_t | size (void) const |
| Report size occupied. | |
Protected Attributes | |
| const int | _pos |
| const Val | _val |
Constructor & Destructor Documentation
template<class Val>
| Gecode::PosValDesc< Val >::PosValDesc | ( | Branching * | , | |
| int | , | |||
| Val | ||||
| ) | [inline] |
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>
| size_t Gecode::PosValDesc< Val >::size | ( | void | ) | const [virtual] |
Report size occupied.
Implements Gecode::BranchingDesc.
Definition at line 139 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.
The documentation for this class was generated from the following file:
- gecode/kernel/branching.icc (Revision: 3259)