Gecode::Int::Branch::PosValuesDesc< ViewSel, View > Class Template Reference
Branching descriptions storing position and values More...
#include <select-values.hpp>
Public Member Functions | |
| PosValuesDesc (const Branching &b, const Pos &p, const typename ViewSel::Desc &viewd, View x) | |
| Initialize description for branching b, position p, view description viewd, and view x. | |
| int | val (unsigned int a) const |
| Return value to branch with for alternative a. | |
| virtual size_t | size (void) const |
| Report size occupied. | |
| virtual | ~PosValuesDesc (void) |
| Deallocate. | |
Detailed Description
template<class ViewSel, class View>
class Gecode::Int::Branch::PosValuesDesc< ViewSel, View >
Branching descriptions storing position and values
The maximal number of alternatives is defined by alt.
Definition at line 46 of file select-values.hpp.
Constructor & Destructor Documentation
template<class ViewSel , class View >
| Gecode::Int::Branch::PosValuesDesc< ViewSel, View >::PosValuesDesc | ( | const Branching & | b, | |
| const Pos & | p, | |||
| const typename ViewSel::Desc & | viewd, | |||
| View | x | |||
| ) | [inline] |
Initialize description for branching b, position p, view description viewd, and view x.
Definition at line 76 of file select-values.hpp.
template<class ViewSel , class View >
| Gecode::Int::Branch::PosValuesDesc< ViewSel, View >::~PosValuesDesc | ( | void | ) | [inline, virtual] |
Member Function Documentation
template<class ViewSel , class View >
| int Gecode::Int::Branch::PosValuesDesc< ViewSel, View >::val | ( | unsigned int | a | ) | const [inline] |
template<class ViewSel , class View >
| size_t Gecode::Int::Branch::PosValuesDesc< ViewSel, View >::size | ( | void | ) | const [inline, virtual] |
Report size occupied.
Reimplemented from Gecode::PosDesc< ViewSel >.
Definition at line 113 of file select-values.hpp.
The documentation for this class was generated from the following file:
- gecode/int/branch/select-values.hpp (Revision: 8155)