[ library(gfd) | Reference Manual | Alphabetic Index ]
max_first_index_g(+Collection,?Index)
Index is constrained to the index of the first variable with the maximum value in Collection, with native gecode indexing
- Collection
- A collection (a la collection_to_list/2) of integers or (domain_ variables
- Index
- (Domain) variable or integer (array notation accepted)
Description
  This version of max_first_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 max_first_index/2 for a more detailed description of this predicate.
See Also
max_first_index / 2