Simplify a rule set

Simplifies a rule set set by applying different simplification methods. This is a convenience function that works in common cases. The following simplification methods are executed:

• substitute_values(): filling in any parameters that are supplied via .values or ....

• simplify_fixed_variables(): find out if there are fixed values. If this is the case, they are substituted.

• simplify_conditional(): Simplify conditional statements, by removing clauses that are superfluous.

• remove_redundancy(): remove redundant rules.

For more control, these methods can be called separately.

simplify_rules(.x, .values = list(...), ...)

Arguments

.x

validate::validator() object with the rules to be simplified.

.values

optional named list with values that will be substituted.

...

parameters that will be used to substitute values.

Details

Note that it is wise to call detect_contradicting_if_rules() before calling this function.

See also

Other redundancy: detect_fixed_variables(), detect_redundancy(), is_implied_by(), remove_redundancy(), simplify_fixed_variables()

Examples

rules <- validator( x > 0
                  , if (x > 0) y == 1
                  , A %in% c("a1", "a2")
                  , if (A == "a1") y > 1
                  )

simplify_rules(rules)
#> Object of class 'validator' with 3 elements:
#>  V1      : x > 0
#>  .const_y: y == 1
#>  .const_A: A == "a2"