Man pages for validatetools
Checking and Simplifying Validation Rule Sets
| cat_as_mip_rules | get categorical rules as mip_rules |
| cat_coefficients | Get coefficient matrix from categorical rules |
| detect_boundary_cat | Detect domains for categorical variables |
| detect_boundary_num | Detect the allowed range for numerical variables |
| detect_contradicting_if_rules | Detect contradictory if-rules |
| detect_fixed_variables | Detect fixed variables |
| detect_infeasible_rules | Detect which rules cause infeasibility |
| detect_redundancy | Detect redundant rules |
| expect_values | expect values |
| is_categorical | Check whether rules are categorical |
| is_conditional | Check whether rules are conditional rules |
| is_contradicted_by | Find out which rules are conflicting |
| is_implied_by | Find which rule(s) imply a rule |
| is_infeasible | Check the feasibility of a rule set |
| is_linear | Check which rules are linear rules. |
| make_feasible | Make an infeasible system feasible. |
| mip_rule | Create a rule used by mip |
| 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 |
