Gecode::PosValChoice< ViewSel, ValSel > Class Template Reference
[Generic brancher based on view and value selection]
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. |
Detailed Description
template<class ViewSel, class ValSel>
class Gecode::PosValChoice< ViewSel, ValSel >
Choice storing position and value
Definition at line 166 of file brancher.hpp.
Constructor & Destructor Documentation
template<class ViewSel , class ValSel >
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.
Member Function Documentation
template<class ViewSel , class ValSel >
const ValSel::Choice & Gecode::PosValChoice< ViewSel, ValSel >::valchoice | ( | void | ) | const [inline] |
Return stored choice.
Definition at line 249 of file brancher.hpp.
template<class ViewSel , class ValSel >
const ValSel::Val & Gecode::PosValChoice< ViewSel, ValSel >::val | ( | void | ) | const [inline] |
Return value to branch with.
Definition at line 255 of file brancher.hpp.
template<class ViewSel , class ValSel >
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.
template<class ViewSel , class ValSel >
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.
The documentation for this class was generated from the following file:
- gecode/kernel/brancher.hpp (Revision: 12001)