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: