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.