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. | |
![]() | |
PosChoice (const Brancher &b, unsigned int a, const Pos &p, const typename ViewSel::Choice &viewc) | |
Initialize choice for brancher b, number of alternatives a, position p, view selection choice viewc. | |
const Pos & | pos (void) const |
Return position in array. | |
const ViewSel::Choice & | viewchoice (void) const |
Return view selection choice. | |
![]() | |
unsigned int | alternatives (void) const |
Return number of alternatives. | |
virtual | ~Choice (void) |
Destructor. |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t) |
Allocate memory from heap. | |
static void | operator delete (void *) |
Return memory to heap. | |
![]() | |
Choice (const Brancher &b, const unsigned int a) | |
Initialize for particular brancher b and alternatives a. |
Choice storing position and value
Definition at line 166 of file brancher.hpp.
|
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.
|
inline |
Return stored choice.
Definition at line 249 of file brancher.hpp.
|
inline |
Return value to branch with.
Definition at line 255 of file brancher.hpp.
|
inlinevirtual |
Report size occupied.
Reimplemented from Gecode::PosChoice< ViewSel >.
Definition at line 261 of file brancher.hpp.
|
inlinevirtual |
Archive into e.
Reimplemented from Gecode::PosChoice< ViewSel >.
Definition at line 267 of file brancher.hpp.