[ library(range) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

set_range_bounds(?Var, ++Lo, ++Hi)

set_bounds handler for range attribute.

Var: A ranged variable
Lo: Lower bound
Hi: Upper bound