[gecode-users] IntVarArgs of unknown size...

[Sébastien Mouthuy]

	Hello everybody,

I have a class with an IntVarArgs as instance variable, but its size is
unknown at creation of my class. How can I safely set the size of my
IntVarArgs in a function that is not my constructor. 

There is the allocate(int) function, but it is protected, and I am not
sure whether it is safe to use it.

Thanks. Cheers,

sebastien