[Why3-club] creating an array of arrays
dmentre at linux-france.org
Wed Sep 19 20:19:27 CEST 2012
2012/9/19 Yannick Moy <moy at adacore.com>:
>> The solution for your specific problem would be indeed to define your
>> own Matrix module. It is easy enough to do.
> Or use maps of maps, that would work indeed because map is not a mutable
Or a single dimension array with an index function defined with
something like x*N+y. Not sure it is the most elegant model though.
More information about the Why3-club