Choice storing position and value
More...
#include <branch.hh>
|
| PosIntChoice (const Brancher &b, unsigned int a, int p, int n) |
| Initialize choice for brancher b, number of alternatives a, position p, and value n.
|
int | pos (void) const |
| Return position of view to assign.
|
int | val (void) const |
| Return value to assign to.
|
virtual void | archive (Archive &e) const |
| Archive into e.
|
unsigned int | alternatives (void) const |
| Return number of alternatives.
|
virtual | ~Choice (void) |
| Destructor.
|
|
static void * | operator new (size_t s) |
| Memory management.
|
static void | operator delete (void *p) |
| Free memory allocated from 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 246 of file branch.hh.
◆ PosIntChoice()
Gecode::FlatZinc::PosIntChoice::PosIntChoice |
( |
const Brancher & | b, |
|
|
unsigned int | a, |
|
|
int | p, |
|
|
int | n ) |
|
inline |
Initialize choice for brancher b, number of alternatives a, position p, and value n.
Definition at line 291 of file branch.hpp.
◆ pos()
int Gecode::FlatZinc::PosIntChoice::pos |
( |
void | | ) |
const |
|
inline |
Return position of view to assign.
Definition at line 294 of file branch.hpp.
◆ val()
int Gecode::FlatZinc::PosIntChoice::val |
( |
void | | ) |
const |
|
inline |
Return value to assign to.
Definition at line 298 of file branch.hpp.
◆ archive()
void Gecode::FlatZinc::PosIntChoice::archive |
( |
Archive & | e | ) |
const |
|
virtual |
The documentation for this class was generated from the following files: