Gecode::FlatZinc::PosIntChoice Class Reference
Choice storing position and value More...
#include <branch.hh>
Public Member Functions | |
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. |
Detailed Description
Choice storing position and value
Definition at line 246 of file branch.hh.
Constructor & Destructor Documentation
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.
Member Function Documentation
int Gecode::FlatZinc::PosIntChoice::pos | ( | void | ) | const [inline] |
Return position of view to assign.
Definition at line 294 of file branch.hpp.
int Gecode::FlatZinc::PosIntChoice::val | ( | void | ) | const [inline] |
Return value to assign to.
Definition at line 298 of file branch.hpp.
void Gecode::FlatZinc::PosIntChoice::archive | ( | Archive & | e | ) | const [virtual] |
The documentation for this class was generated from the following files:
- gecode/flatzinc/branch.hh
- gecode/flatzinc/branch.cpp
- gecode/flatzinc/branch.hpp