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 |