IStateIntVector.size() removed from choco-solver-4.0.5

[fhermeni]

Hi

It is no longer possible to know the size of my vector, this is a bit annoying because you already store that data. Now, I have to maintain that value in my code ?

[cprudhom]

Can you tell us what you are using the vector for ?

For instance, only removing elements which are restored on backtrack ? Or only adding elements which are removed on backtrack ? Both cases ? Do you need to preserve order ?

[gregy4]

I just reported same issue since I don't see a way how to get values from StateIntVector when I don't know their indexes. In a propagator I use it to record indexes of same instantiated tasks to not calculate them again since the propagator is called very often.