[Why3-club] creating an array of arrays

David MENTRE 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
> structure.

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.

Best regards,

More information about the Why3-club mailing list