[ library(gfd) | Reference Manual | Alphabetic Index ]
Index is constrained to the index(es) of the variable(s) with the minimum value in Collection, with native gecode indexing
- A collection (a la collection_to_list/2) of integers or (domain) variables
- (Domain) variable or integer (array notation accepted)
This version of min_index/2 uses the native Gecode indexing, which starts
from 0, i.e. the first element of Collection has index 0. This is different
from normal ECLiPSe's indexing, which starts from 1.
This predicate maps directly to Gecode's native implementation of the
constraint, and may therefore be more efficient, but could also be
incompatible with existing ECLiPSe code.
This constraint can be embedded in a constraint expression in its
functional form (without the last argument).
See min_index/2 for a more detailed description of this predicate.
min_index / 2