At:
adjm-edge-accum-properties
1
1
1
1.
M: AdjMatrix
2.
T: Type
3.
s: T
4.
x: 
M.size
5.
f: T
M.sizeT
6.
y: M.size
7.
e: {p:(M.size
M.size)| M.adj(1of(p),2of(p)) }
8.
e = < x,y >
9.
(y 
upto(0;M.size))
(y upto(0;M.size))
By:
RepeatFor 2 (ParallelOp -1)
THEN
Analyze -1
Generated subgoals:
None
About:
