1 /*-----------------------------------------------------------------------------
3 Written by Francois Fleuret <francois.fleuret@inria.fr>
4 -----------------------------------------------------------------------------*/
10 void resetArraySize() { arraySize = 0; }
11 int getArraySize() { return arraySize; }
13 //-----------------------------------------------------------------------------