Choice storing position and value More...
#include <brancher.hpp>
Public Member Functions | |
PosValChoice (const Brancher &b, const Pos &p, const typename ViewSel::Choice &viewc, const typename ValSel::Choice &valc, const typename ValSel::Val &n) | |
Initialize choice for brancher b, position p, view choice viewc, value choice valc, and value n. | |
const ValSel::Choice & | valchoice (void) const |
Return stored choice. | |
const ValSel::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 166 of file brancher.hpp.
Gecode::PosValChoice< ViewSel, ValSel >::PosValChoice | ( | const Brancher & | b, |
const Pos & | p, | ||
const typename ViewSel::Choice & | viewc, | ||
const typename ValSel::Choice & | valc, | ||
const typename ValSel::Val & | n | ||
) | [inline] |
Initialize choice for brancher b, position p, view choice viewc, value choice valc, and value n.
Definition at line 240 of file brancher.hpp.
const ValSel::Choice & Gecode::PosValChoice< ViewSel, ValSel >::valchoice | ( | void | ) | const [inline] |
Return stored choice.
Definition at line 249 of file brancher.hpp.
const ValSel::Val & Gecode::PosValChoice< ViewSel, ValSel >::val | ( | void | ) | const [inline] |
Return value to branch with.
Definition at line 255 of file brancher.hpp.
size_t Gecode::PosValChoice< ViewSel, ValSel >::size | ( | void | ) | const [inline, virtual] |
Report size occupied.
Reimplemented from Gecode::PosChoice< ViewSel >.
Definition at line 261 of file brancher.hpp.
void Gecode::PosValChoice< ViewSel, ValSel >::archive | ( | Archive & | e | ) | const [inline, virtual] |
Archive into e.
Reimplemented from Gecode::PosChoice< ViewSel >.
Definition at line 267 of file brancher.hpp.