Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
tools:chp2prs [2025/11/04 03:06] – [External Constants] karthitools:chp2prs [2026/04/14 19:33] (current) – [Nested Loop Constructs] rajit
Line 224: Line 224:
 || ||
 s:=0; s:=0;
-*[ [s=0 -> C?y+*[ [s=0 -> C?y; s:=1
    []s=1 & y>0 -> X!y; y:=y-1    []s=1 & y>0 -> X!y; y:=y-1
    []s=1 & y=0 -> s=0    []s=1 & y=0 -> s=0