Go backward to Always-section
Go up to Top
Go forward to Examples
Quantified Expression
- Quantification over arbitrary functions:
- Existential quantification:
(and i: 0 <=i<=N :: b[i]) - Minimum element:
(min i: 0 <=i<=N :: A[i]) - Sum of elements:
(+ i: 0 <=i<=N :: A[i]) - Number of elements smaller than A[j]:
(+ i: 0 <=i<=N and A[i] < A[j] ::
1)
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine