Choices storing position More...
#include <brancher-view.hpp>
Public Member Functions | |
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... | |
virtual size_t | size (void) const |
Report size occupied. More... | |
virtual void | archive (Archive &e) const |
Archive into e. More... | |
![]() | |
unsigned int | alternatives (void) const |
Return number of alternatives. More... | |
virtual | ~Choice (void) |
Destructor. More... | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t) |
Allocate memory from heap. More... | |
static void | operator delete (void *) |
Return memory to heap. More... | |
![]() | |
Choice (const Brancher &b, const unsigned int a) | |
Initialize for particular brancher b and alternatives a. More... | |
Choices storing position
Definition at line 57 of file brancher-view.hpp.
Initialize choice for brancher b, number of alternatives a, and position p.
Definition at line 122 of file brancher-view.hpp.
|
inline |
Return position in array.
Definition at line 125 of file brancher-view.hpp.
|
inlinevirtual |
Report size occupied.
Implements Gecode::Choice.
Reimplemented in Gecode::Int::LDSB::LDSBChoice< Val >, Gecode::Int::Branch::PosValuesChoice, and Gecode::PosValChoice< Val >.
Definition at line 129 of file brancher-view.hpp.
|
inlinevirtual |
Archive into e.
Reimplemented from Gecode::Choice.
Reimplemented in Gecode::Int::LDSB::LDSBChoice< Val >, Gecode::Int::Branch::PosValuesChoice, and Gecode::PosValChoice< Val >.
Definition at line 133 of file brancher-view.hpp.