Difference between revisions of "Template:RRHeader"
From Event-B
Jump to navigationJump to searchimported>Laurent (Added star column) |
imported>Wohuai |
||
(One intermediate revision by one other user not shown) | |||
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 |