Template:RRHeader
From Event-B
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 |