Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
language:controlflow [2019/04/18 18:25] – [Selections] rajitlanguage:controlflow [2020/12/02 06:00] – external edit 127.0.0.1
Line 97: Line 97:
 <code> <code>
 (i : 32 :  (i : 32 : 
-    [ i = 0 -> r0(in[i],out[i],control) +    [ i = 0 -> r0(in[i],out[i],control); 
-   [] else -> r[i](in[i],out[i],control)+   [] else -> r[i](in[i],out[i],control);
     ]     ]
 ) )
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/2> t0(a[0..N/2-1]);  [] N > 1 -> tree<N/2> t0(a[0..N/2-1]);
-             tree<N-N/2> t1(a[N/2..N-1])+             tree<N-N/2> t1(a[N/2..N-1]);
   ]   ]
 } }