[sv-ec] random resizing of associative array

From: Ryan, Ray <Ray_Ryan_at_.....>
Date: Tue May 16 2006 - 18:29:46 PDT
In the section 13.3 where random variable are discussed, the LRM state:
"The size of a dynamic array declared as rand or randc can also be
constrained. In that case, the array shall be resized according to the
size constraint, and then all the array elements shall be randomized.
... "

From this my assumption would be that this resizing only applied to
dynamic arrays
and not associative arrays or queues. 

However in 13.4.7 (Iterative Constraints) there is the text:
"The size method of a dynamic or associative array can be used to
constrain the size of the array ... "

This suggests that associative arrays are also re-sized by randomize. 
Is this the case?

If so, what index values are used for the entries? There isn't any way
to specify a constraint
on the index value. Are all the existing entries first deleted? 

It seems the statement in 13.4.7 may be a typo (shouldn't have mentioned
associative arrays).

- Ray
Received on Tue, 16 May 2006 18:29:46 -0700

This archive was generated by hypermail 2.1.8 : Tue May 16 2006 - 18:30:45 PDT