[ library(ic_search) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
nth_value(+Domain, ++N, -Value)
return the nth value in a domain
- Domain
- a domain list
- N
- an integer
- Value
- a free variable
Description
Find the nth value in a domain given by a list of integers
and intervals, as it is returned for example by fd's ::/2.
Fail Conditions
There are less than N values in the domain.
Resatisfiable
no
Examples
% a typical use
....
X :: L,
nth_value(L,2,Value),
See Also
fd : :: / 2, suspend : :: / 2, range : :: / 2, eplex : :: / 2, ria : :: / 2, fdplex : :: / 2, fd_sets : :: / 2, ic : :: / 2