Information about position and minimum. More...
Public Attributes | |
unsigned int | pos |
Start position of range. | |
int | min |
Minmum of range. |
Information about position and minimum.
unsigned int Gecode::Int::Branch::PosValuesChoice::PosMin::pos |
Start position of range.
Definition at line 52 of file select-values.hpp.
Minmum of range.
Definition at line 54 of file select-values.hpp.