Event for range-based overlap analysis.
RangeEventType ret
The event type.
int val
The value for the range (first or last value, depending on type)
bool operator<(RangeEvent re) const
Order events: first by val, then by event type.
Number of values propagators.
Gecode toplevel namespace