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.

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"