[sbml-arrays] Flag to indicate arrays can dynamically change size

[Leandro W. <lea...@gm...>]

Hi,

At Harmony, we talked about the arrays package and its limitation to
constant sized arrays.
Because some people might want arrays that can dynamically change in size,
we decided to add a flag to loosen some restrictions of arrays.
This flag would allow sizes to be non-constant parameters or not specified.
Possible names for the flag are:

- strict
- flattenable
- static

Does anyone have any preference?

One of the reasons it was decided to make arrays size constants is the fact
that arrayed models can be flattened. Flattening would be lost with this
flag. In addition, constant sized arrays allow us to validate things that
otherwise would only be possible at runtime such as arrays out-of-bounds.
Thus, this flag would also change how validation is done.

On a side note, the distrib package is currently using arrays. It looks
like multivariate distributions need arrays for input/output but the arrays
package does not allow that. The flag could be used allow this. Flattening
is not possible in this case.

Any suggestions or comments?

Leandro