Detects variables that have a fixed value in the rule set. To simplify a rule set, these variables can be substituted with their value.
detect_fixed_variables(x, eps = x$options("lin.eq.eps"), ...)validator object with the validation rules.
detected fixed values will have this precission.
not used.
Other redundancy:
detect_redundancy(),
is_implied_by(),
remove_redundancy(),
simplify_fixed_variables(),
simplify_rules()
library(validate)
rules <- validator( x >= 0
, x <= 0
)
detect_fixed_variables(rules)
#> $x
#> [1] 0
#>
simplify_fixed_variables(rules)
#> Object of class 'validator' with 1 elements:
#> .const_x: x == 0
rules <- validator( x1 + x2 + x3 == 0
, x1 + x2 >= 0
, x3 >= 0
)
simplify_fixed_variables(rules)
#> Object of class 'validator' with 3 elements:
#> V1 : x1 + x2 + 0 == 0
#> V2 : x1 + x2 >= 0
#> .const_x3: x3 == 0