UNITY Program Structure 10
Quantified Expression
expr ? ? op quant expr ?
op ? min | max | + | ? | ? | ? | ? | ...
ak neexistuje „prípad“, potom expr (nalavo) má hodnotu neutrálneho prvku operátora op
Príklady
1. ? ? j: 0 ? j ? N :: b[j] ?
true, ak nejaké b[j] je true
2. ? min j: 0 ? j ? N :: A[j] ?
najmenší prvok pola A[0..N]
3. ? + j: 0 ? j ? N ? A[j] < A[k] :: 1 ?
pocet prvkov menších ako A[k], ak A[k] je v A[0..N]