Difference between revisions of "Template:RRRow"

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 = a A
r2 \min \{a\} = a no side condition M

Template