<< Prev | - Up - | Next >> |

The selection constraint exists also in a version where the sequence contains only FS variables. It is exported on feature `fs`

of module `Select`

:

`X={Select.fs [X1 ... Xn] I}`

Again the information about `X`

can be improved by propagation. The upper bound of `X`

is at most the union of the upper bounds of the `Xi`

s for `i`

in the domain of `I`

. The lower bound of `X`

is at least the intersection of the lower bounds of the `Xi`

s for `i`

in the domain of `I`

. In other words, if and , then:

<< Prev | - Up - | Next >> |

Denys Duchier

Version 1.2.0 (20010221)