Go backward to Enumerated Assignments
Go up to Top
Go forward to Assign-section
Quantified Assignments
- Parallel variable quantification:
- (||i: 0 <=i<=N :: A[i] :=
B[i])
- A[0] := B[0] || A[1] := B[1] || ... || A[N]
:= B[N]
- Examples:
- (||i: 0 <=i<=N :: A[i] := max(A[i],
B[i]))
(||i: 0 <=i<=N :: A[i] := B[i] if A[i] <
B[i])
(||i: 0 <=i<=N and A[i] <
B[i] :: A[i] := B[i]) - (||i,j: 0 <=i<=N and 0 <=j<=N
::
U[i,j] := 0 if i!=j
~ 1 if i=j)
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine