Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
language:controlflow [2019/04/18 14:25] rajit [Selections] |
language:controlflow [2020/12/02 01:00] 127.0.0.1 external edit |
||
---|---|---|---|
Line 97: | Line 97: | ||
< | < | ||
(i : 32 : | (i : 32 : | ||
- | [ i = 0 -> r0(in[i], | + | [ i = 0 -> r0(in[i], |
- | [] else -> r[i](in[i], | + | [] else -> r[i](in[i], |
] | ] | ||
) | ) | ||
Line 120: | Line 120: | ||
defproc tree (bool a[N]) | defproc tree (bool a[N]) | ||
{ | { | ||
- | [ N = 1 -> leaf l(a[0]) | + | [ N = 1 -> leaf l(a[0]); |
[] N > 1 -> tree< | [] N > 1 -> tree< | ||
- | | + | |
] | ] | ||
} | } |