Gecode::PosValChoice< Val > Class Template Reference
[Generic brancher based on view and value selection]
Choice storing position and value More...
#include <brancher-view-val.hpp>
Public Member Functions | |
PosValChoice (const Brancher &b, unsigned int a, const Pos &p, const Val &n) | |
Initialize choice for brancher b, number of alternatives a, position p, and value n. | |
const Val & | val (void) const |
Return value to branch with. | |
virtual size_t | size (void) const |
Report size occupied. | |
virtual void | archive (Archive &e) const |
Archive into e. |
Detailed Description
template<class Val>
class Gecode::PosValChoice< Val >
Choice storing position and value
Definition at line 50 of file brancher-view-val.hpp.
Constructor & Destructor Documentation
template<class Val >
Gecode::PosValChoice< Val >::PosValChoice | ( | const Brancher & | b, | |
unsigned int | a, | |||
const Pos & | p, | |||
const Val & | n | |||
) | [inline] |
Initialize choice for brancher b, number of alternatives a, position p, and value n.
Definition at line 157 of file brancher-view-val.hpp.
Member Function Documentation
template<class Val >
const Val & Gecode::PosValChoice< Val >::val | ( | void | ) | const [inline] |
Return value to branch with.
Definition at line 163 of file brancher-view-val.hpp.
template<class Val >
size_t Gecode::PosValChoice< Val >::size | ( | void | ) | const [inline, virtual] |
Report size occupied.
Reimplemented from Gecode::PosChoice.
Reimplemented in Gecode::Int::LDSB::LDSBChoice< Val >.
Definition at line 169 of file brancher-view-val.hpp.
template<class Val >
void Gecode::PosValChoice< Val >::archive | ( | Archive & | e | ) | const [inline, virtual] |
Archive into e.
Reimplemented from Gecode::PosChoice.
Reimplemented in Gecode::Int::LDSB::LDSBChoice< Val >.
Definition at line 175 of file brancher-view-val.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/brancher-view-val.hpp (Revision: 14471)