[gecode-users] ViewArray::drop_lst(int i) ... not equal to ViewArray::size(i+1) !?!?!

[Patrick Pekczynski]

Martin Mann schrieb:
> Hi,
>
Hi Martin,
I do not know whether anything has been changed by now and this response 
can be neglected
or whether you are referring to the latest online documentation 
available. As far as I can see the latest doc

http://www.gecode.org/gecode-doc-latest/classGecode_1_1ViewArray.html

say's    n = i + 1
> reading the ViewArray documentation for 'drop_lst(int i)' I expected 
> that it skips all elements after index i.
I think this is exactly what it does: drop all elements such that x[i] 
is the last element and |x| = i + 1


So you were thinking correctly. But I could not spot any typo.....

Kind regards
Patrick