
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. More... | |
| PosValuesChoice (const Brancher &b, unsigned int alt, Pos p, Archive &e) | |
| Initialize choice for brancher b from archive e. More... | |
| int | val (unsigned int a) const |
| Return value to branch with for alternative a. More... | |
| virtual size_t | size (void) const |
| Report size occupied. More... | |
| virtual | ~PosValuesChoice (void) |
| Deallocate. More... | |
| virtual void | archive (Archive &e) const |
| Archive into e. More... | |
Public Member Functions inherited from Gecode::PosChoice | |
| PosChoice (const Brancher &b, unsigned int a, const Pos &p) | |
| Initialize choice for brancher b, number of alternatives a, and position p. More... | |
| const Pos & | pos (void) const |
| Return position in array. More... | |
Public Member Functions inherited from Gecode::Choice | |
| unsigned int | alternatives (void) const |
| Return number of alternatives. More... | |
| virtual | ~Choice (void) |
| Destructor. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Choice | |
| static void * | operator new (size_t) |
| Allocate memory from heap. More... | |
| static void | operator delete (void *) |
| Return memory to heap. More... | |
Protected Member Functions inherited from Gecode::Choice | |
| Choice (const Brancher &b, const unsigned int a) | |
| Initialize for particular brancher b and alternatives a. More... | |
Choice storing position and values for integer views
Definition at line 41 of file view-values.hpp.
| 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 42 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 57 of file view-values.cpp.
|
virtual |
Deallocate.
Definition at line 73 of file view-values.cpp.
|
inline |
Return value to branch with for alternative a.
Definition at line 76 of file view-values.hpp.
|
virtual |
Report size occupied.
Reimplemented from Gecode::PosChoice.
Definition at line 69 of file view-values.cpp.
|
inlinevirtual |
Archive into e.
Reimplemented from Gecode::PosChoice.
Definition at line 78 of file view-values.cpp.