43
Flood Regions and Arrays
Flood regions recognize that reducing into a specific column over
specifies the situation
Need a generic column -- or a column that does not have a
specific position … use ‘*’ as value
region FlCol = [1..m,
*]; -- Flood regions
FlRow = [*, 1..n];
var MaxCol : [FlCol] double; -- An m length
col
Row : [FlRow] double; -- An n length row
[1..m,*] MaxCol :=
max<< [1..m,1..n] A; -- Better
+
...
...
Think of column in every position