Template:RRRow: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Frederic New page: <noinclude> Template use to specify a table row for describing a rewriting rule == Usage == <pre><nowiki>{{RRHeader}} {{RRRow}}|r1||<math>a = a</math>|| || A {{RRRow}}|r2||<math>\min \{a\}... |
(No difference)
|
Latest revision as of 15:35, 29 January 2009
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 |