Choice storing position and value
More...
#include <branch.hh>
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: