Function reference • validatetools

All functions
`detect_boundary_cat()`	Detect viable domains for categorical variables
`detect_boundary_num()`	Detect the range for numerical variables
`detect_fixed_variables()`	Detect fixed variables
`detect_infeasible_rules()`	Detect which rules cause infeasibility
`detect_redundancy()`	Detect redundant rules without removing.
`expect_values()`	expect values
`is_categorical()`	Check if rules are categorical
`is_conditional()`	Check if rules are conditional rules
`is_contradicted_by()`	Find out which rules are conflicting
`is_implied_by()`	Find which rule(s) make rule_name redundant
`is_infeasible()`	Check the feasibility of a rule set
`is_linear()`	Check which rules are linear rules.
`make_feasible()`	Make an infeasible system feasible.
`remove_redundancy()`	Remove redundant rules
`simplify_conditional()`	Simplify conditional statements
`simplify_fixed_variables()`	Simplify fixed variables
`simplify_rules()`	Simplify a rule set
`substitute_values()`	substitute a value in a rule set
`translate_mip_lp()`	translate linear rules into an lp problem
`validatetools`	Tools for validation rules

Reference