Template:RRHeader
From Event-B
Revision as of 08:27, 8 April 2011 by imported>Wohuai
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 |