
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.