<: "until goal"

[Kilian Sprotte]

Hi,

I am looking for a way to constrain a sequence to be "ascending  
towards a goal". The goal is determined before posting, let's say its  
5, so a solution could be:

[1 2 4 5 5]

I could say something like the following for all neighbors A B in the  
sequence:

(A <: 5) =: (A <: B)

But my problem is that starting from the following

[1#5 1#5 1#5 1#5 1#5]

I would like to get immediate propagation to

  [1#5 2#5 3#5 4#5 5]

--

I imagine that this would be a slight variation to the <: propagator,  
but I was looking for a way to build this from given primitives, if  
possible.

What approach would you suggest?

Thanks for any hints,
   Kilian


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/attachments/20070403/9a11e04e/attachment-0001.html