split_rules
split_rules | R Documentation |
#
Split rules for customisation#
DescriptionThis function is the left-inverse of 'combine_rules', i.e.
split_rules(combine_rules(rs, group)) = rs
for any variable 'group'.
It is created to facilitate the addition or removal of rewriting rules.
#
Usage#
Argumentsrs | A list of (grouped) rewriting rules. Note that a list of n rules without grouping is a list of n groups of single rule. |