Template:RRRow
From Event-B
Template use to specify a table row for describing a rewriting rule
Usage
{{RRHeader}}
{{RRRow}}|r1||<math>a = a</math>|| || A
{{RRRow}}|r2||<math>\min \{a\} = a</math>||no side condition|| M
|}
Example
| Name | Rule | Side Condition | A/M | |
|---|---|---|---|---|
| r1 | ![]() |
A | ||
| r2 | ![]() |
no side condition | M |

