| << Prev | - Up - | Next >> |
A selection constraints describes an value that is obtained by selecting elements of a list of values.
Selection constraint select elements of a list by their index, where the index of the i-th element of a list is simply i itself. The power of the selection constraint depends on the fact that the indexes of selected elements need not to be known at before hand. They can be constraint themselves by finite domain of finite set constraints.
Oz supports two basic forms of selection constraints one for integers and one for sets of integers. Both of them are not available in the base environment but can be downloaded as a package form the MOGUL archive.
| << Prev | - Up - | Next >> |