
Range and position information. More...
Public Attributes | |
| int | min |
| Minimum of range. | |
| unsigned int | pos |
| Starting position of range. | |
Range and position information.
Minimum of range.
Definition at line 59 of file support-values.hh.
| unsigned int Gecode::Int::SupportValues::RangePos::pos |
Starting position of range.
Definition at line 60 of file support-values.hh.