Template:RRHeader
From Event-B
Revision as of 16:27, 11 February 2009 by imported>Laurent (Added star column)
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 |