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. |
Choice storing position and value
Definition at line 50 of file brancher-view-val.hpp.
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.
const Val & Gecode::PosValChoice< Val >::val | ( | void | ) | const [inline] |
Return value to branch with.
Definition at line 163 of file brancher-view-val.hpp.
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.
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.