[ library(ic_global) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
element(?Index, ++List, ?Value)
Value is the Index'th element of the integer list List.
- ?Index
- A variable or an integer.
- ++List
- A non-empty list of integers.
- ?Value
- A variable or an integer.
Description
Deprecated (should never have been included in this module: it's not a
global constraint). Use ic:element/3 instead.
Fail Conditions
Fails if Value is not the Index'th element of List.
Resatisfiable
No.
See Also
ic : element / 3