Template:RRHeader: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Frederic New page: <noinclude> Template use to specify a table header for describing rewriting rules == Usage == <pre><nowiki>{{RRHeader}} |- |RULE1||<math>a + b -c == a + b - c</math>||no side condition || ... |
imported>Wohuai No edit summary |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 4: | Line 4: | ||
<pre><nowiki>{{RRHeader}} | <pre><nowiki>{{RRHeader}} | ||
|- | |- | ||
|RULE1||<math>a + b -c == a + b - c</math>||no side condition || M | |*||RULE1||<math>a + b -c == a + b - c</math>||no side condition || M | ||
|- | |- | ||
|NN||RULE|| || A | | ||NN||RULE|| || A | ||
|} | |} | ||
</nowiki></pre> | </nowiki></pre> | ||
| Line 13: | Line 13: | ||
{{RRHeader}} | {{RRHeader}} | ||
|- | |- | ||
|RULE1||<math>a + b -c == a + b - c</math>||no side condition || M | |*||RULE1||<math>a + b -c == a + b - c</math>||no side condition || M | ||
|- | |- | ||
|NN||RULE|| || A | | ||NN||RULE|| || A | ||
|} | |} | ||
| Line 21: | Line 21: | ||
== Template == | == Template == | ||
</noinclude> | </noinclude> | ||
<includeonly>{|class="RRHeader" text-align="left" border="1" cellspacing="4" cellpadding="8" rules="all" frame="box" style="margin:1em 1em 1em 0; border-style:solid; border-color:#AAAAAA; display: | <includeonly>{|class="RRHeader" text-align="left" border="1" cellspacing="4" cellpadding="8" rules="all" frame="box" style="margin:1em 1em 1em 0; border-style:solid; border-color:#AAAAAA; display:table; {{{style|}}}" | ||
|- bgcolor="#CCCCCC" | |- bgcolor="#CCCCCC" | ||
! Name !! Rule !! Side Condition !! A/M </includeonly><noinclude> | ! !! Name !! Rule !! Side Condition !! A/M </includeonly><noinclude> | ||
Latest revision as of 08:27, 8 April 2011
Template use to specify a table header for describing rewriting rules
Usage
{{RRHeader}}
|-
|*||RULE1||<math>a + b -c == a + b - c</math>||no side condition || M
|-
| ||NN||RULE|| || A
|}
Example
| Name | Rule | Side Condition | A/M | |
|---|---|---|---|---|
| * | RULE1 |  |
no side condition | M |
| NN | RULE | A |
