Gecode::Int::Branch::PosValuesChoice Class Reference
Choice storing position and values for integer views More...
#include <view-values.hpp>
Public Member Functions | |
PosValuesChoice (const Brancher &b, const Pos &p, IntView x) | |
Initialize choice for brancher b, position p, and view x. | |
PosValuesChoice (const Brancher &b, unsigned int alt, Pos p, Archive &e) | |
Initialize choice for brancher b from archive e. | |
int | val (unsigned int a) const |
Return value to branch with for alternative a. | |
virtual | ~PosValuesChoice (void) |
Deallocate. | |
virtual void | archive (Archive &e) const |
Archive into e. |
Detailed Description
Choice storing position and values for integer views
Definition at line 37 of file view-values.hpp.
Constructor & Destructor Documentation
Gecode::Int::Branch::PosValuesChoice::PosValuesChoice | ( | const Brancher & | b, | |
const Pos & | p, | |||
IntView | x | |||
) |
Initialize choice for brancher b, position p, and view x.
Definition at line 38 of file view-values.cpp.
Gecode::Int::Branch::PosValuesChoice::PosValuesChoice | ( | const Brancher & | b, | |
unsigned int | alt, | |||
Pos | p, | |||
Archive & | e | |||
) |
Initialize choice for brancher b from archive e.
Definition at line 53 of file view-values.cpp.
Gecode::Int::Branch::PosValuesChoice::~PosValuesChoice | ( | void | ) | [virtual] |
Deallocate.
Definition at line 64 of file view-values.cpp.
Member Function Documentation
int Gecode::Int::Branch::PosValuesChoice::val | ( | unsigned int | a | ) | const [inline] |
Return value to branch with for alternative a.
Definition at line 69 of file view-values.hpp.
void Gecode::Int::Branch::PosValuesChoice::archive | ( | Archive & | e | ) | const [inline, virtual] |
Archive into e.
Reimplemented from Gecode::PosChoice.
Definition at line 69 of file view-values.cpp.
The documentation for this class was generated from the following files:
- gecode/int/branch/view-values.hpp
- gecode/int/branch/view-values.cpp