Indicating Variable Intervals:x >= v … or not
indication
v <= x <= U i=1
L <= x <= v – eps i=0
Enforce
v*i + L (1-i) <= x <= U*i + (v-eps)(1-i)
Check
v*1 + L (0) <= x <= U*1 + (v-eps)(0)
v*0 + L (1) <= x <= U*0 + (v-eps)(1)
U
v
L
v –
eps
Previous slide
Next slide
Back to first slide
View graphic version