[ library(gfd) | Reference Manual | Alphabetic Index ]
precede(++Values, +Collection)
Constrains each value in Values to precede its succeeding
 value in Collection
- Values
- Collection of integers
- Collection
- Collection of integers or (domain) variables
Description
      Constrains the first appearance of every value of the ordered
      collection of integers in Values to precede the first
      appearance of the next value in Values in the ordered collection of 
      elements in Collection, i.e. the precede/3 constraint to hold
      for every adjacent integers in Values.
      This constraint is known as int_value_precede_chain in the Global
      Constraint Catalog, and is implemented using Gecode's precede()
      constraint (variant with IntArg argument for Values).
    
Examples
[eclipse 18]: precede([4,0,1], [4,0,6,1,0]).   % succeed
[eclipse 19]: precede([4,0,1], [4,0,6,1,0]).  % succeed
[eclipse 20]: precede([4,0,1], [4,1,6,1,0]).   % fail
[eclipse 21]: precede([4,0,1], [A,B,C,D,E]).
A = A{[-1000000 .. -1, 2 .. 1000000]}
B = B{[-1000000 .. 0, 2 .. 1000000]}
C = C{[-1000000 .. 1000000]}
D = D{[-1000000 .. 1000000]}
E = E{[-1000000 .. 1000000]}
See Also
precede / 3, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2