
Choice storing position and value, and symmetric literals to be excluded on the right branch. More...
#include <ldsb.hh>
Public Member Functions | |
| LDSBChoice (const Brancher &b, unsigned int a, const Pos &p, const Val &n, const Literal *literals, int nliterals) | |
| Initialize choice for brancher b, position p, value n, and set of literals literals (of size nliterals) More... | |
| ~LDSBChoice (void) | |
| Destructor. More... | |
| const Literal * | literals (void) const |
| Return literals. More... | |
| int | nliterals (void) const |
| Return number of literals. More... | |
| virtual size_t | size (void) const |
| Report size occupied. More... | |
| virtual void | archive (Archive &e) const |
| Archive into e. More... | |
Public Member Functions inherited from Gecode::PosValChoice< Val > | |
| PosValChoice (const Brancher &b, unsigned int a, const Pos &p, const Val &n) | |
| Initialize choice for brancher b, number of alternatives a, position p, and value n. More... | |
| const Val & | val (void) const |
| Return value to branch with. 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 value, and symmetric literals to be excluded on the right branch.
|
inline |
Initialize choice for brancher b, position p, value n, and set of literals literals (of size nliterals)
Definition at line 63 of file brancher.hpp.
| Gecode::Int::LDSB::LDSBChoice< Val >::~LDSBChoice | ( | void | ) |
Destructor.
Definition at line 70 of file brancher.hpp.
|
inline |
Return literals.
Definition at line 76 of file brancher.hpp.
|
inline |
Return number of literals.
Definition at line 80 of file brancher.hpp.
|
virtual |
Report size occupied.
Reimplemented from Gecode::PosValChoice< Val >.
Definition at line 84 of file brancher.hpp.
|
virtual |
Archive into e.
Reimplemented from Gecode::PosValChoice< Val >.
Definition at line 90 of file brancher.hpp.