Checking and Simplifying Validation Rule Sets

Documentation for package ‘validatetools’ version 0.5.0

validatetools-package	Tools for validation rules
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