Difference between revisions of "Template:RRHeader"
From Event-B
Jump to navigationJump to searchimported>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>Laurent (Added star column) |
||
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 23: | Line 23: | ||
<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:inline-table; {{{style|}}}" | <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:inline-table; {{{style|}}}" | ||
|- bgcolor="#CCCCCC" | |- bgcolor="#CCCCCC" | ||
− | ! Name !! Rule !! Side Condition !! A/M </includeonly><noinclude> | + | ! !! Name !! Rule !! Side Condition !! A/M </includeonly><noinclude> |
Revision as of 16:27, 11 February 2009
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 |