Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| language:langs:chp [2025/11/17 18:26] – [Debugging and other support functions for simulation] rajit | language:langs:chp [2026/05/12 12:22] (current) – [Conditionals] rajit | ||
|---|---|---|---|
| Line 421: | Line 421: | ||
| wait-for (condition) | wait-for (condition) | ||
| </ | </ | ||
| + | |||
| + | The C/C++ like '' | ||
| + | <code act> | ||
| + | if (G) { | ||
| + | S | ||
| + | } | ||
| + | </ | ||
| + | corresponds to | ||
| + | <code act> | ||
| + | [ G -> S [] else -> skip ] | ||
| + | </ | ||
| + | |||
| + | |||
| ==== Loops ==== | ==== Loops ==== | ||