jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Documentation fix for Reset_mapfold

Browse source
This commit is contained in:
Adrien Guatto 2010-07-20 15:32:07 +02:00
parent 75774cc685
commit b1944cf752
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
compiler/heptagon/transformations/reset_mapfold.ml
View file

@ -25,7 +25,9 @@ open Types
| case C2 do ... | case C2 do ...
| case C3 do ... | case C3 do ...
end end
every r every res
---->
switch e with switch e with
case C1 do ... (* l_m1 *) case C1 do ... (* l_m1 *)
@ -35,8 +37,9 @@ open Types
| case C3 do ... (* l_m3 *) | case C3 do ... (* l_m3 *)
m1 = l_m1; m2 = l_m2; m3 = false m1 = l_m1; m2 = l_m2; m3 = false
end; end;
l_m1 = if res then true else true fby m1;...; l_m1 = if res then true else (true fby m1);
l_m3 = if res then true else true fby m3 l_m2 = if res then true else (true fby m2);
l_m3 = if res then true else (true fby m3);
e1 -> e2 is translated into if (true fby false) then e1 else e2 e1 -> e2 is translated into if (true fby false) then e1 else e2
*) *)