API for validatetools
Checking and Simplifying Validation Rule Sets
| Global functions | |
|---|---|
| `[.dnf` | Source code |
| as.character.dnf | Source code |
| as.character.mip_rule | Source code |
| as.expression.dnf | Source code |
| as_dnf | Source code |
| bin_var_name | Source code |
| cat_as_mip_rules | Man page Source code |
| cat_coefficients | Man page Source code |
| cat_mip_rule_ | Source code |
| cat_var_name | Source code |
| check_condition | Source code |
| check_validator | Source code |
| cond_as_mip_rules | Source code |
| consume | Source code |
| cvi | Source code |
| deparse_all | Source code |
| detect_boundary_cat | Man page Source code |
| detect_boundary_num | Man page Source code |
| detect_contradicting_if_rules | Man page Source code |
| detect_fixed_variables | Man page Source code |
| detect_if_clauses | Source code |
| detect_infeasible_rules | Man page Source code |
| detect_redundancy | Man page Source code |
| dnf_to_mip_rule | Source code |
| expect_values | Man page Source code |
| fix_cat_domain | Source code |
| get_catvar | Source code |
| get_mr_expression | Source code |
| get_mr_matrix | Source code |
| get_mr_rules | Source code |
| get_mr_type | Source code |
| get_mr_vars | Source code |
| get_mr_weights | Source code |
| get_variables_cat | Source code |
| get_variables_num | Source code |
| invert_ | Source code |
| invert_or_negate | Source code |
| is_cat_ | Source code |
| is_categorical | Man page Source code |
| is_condition_ | Source code |
| is_conditional | Man page Source code |
| is_contradicted_by | Man page Source code |
| is_feasible | Source code |
| is_implied_by | Man page Source code |
| is_infeasible | Man page Source code |
| is_lin_ | Source code |
| is_lin_eq | Source code |
| is_linear | Man page Source code |
| is_local_var_ | Source code |
| is_local_variable | Source code |
| is_redundant | Source code |
| la | Source code |
| left | Source code |
| lin_as_mip_rules | Source code |
| lin_mip_rule_ | Source code |
| make_feasible | Man page Source code |
| mip_rule | Man page Source code |
| negate_ | Source code |
| op | Source code |
| op_to_s | Source code |
| print.dnf | Source code |
| print.mip_rule | Source code Source code |
| remove_redundancy | Man page Source code |
| rep_lin_ | Source code |
| replace_linear | Source code |
| rewrite_mip_rule | Source code |
| right | Source code |
| simplify_conditional | Man page Source code |
| simplify_dnf | Source code |
| simplify_fixed_variables | Man page Source code |
| simplify_non_constraining | Source code |
| simplify_non_relaxing | Source code |
| simplify_rules | Man page Source code |
| soft_cat_rule | Source code |
| soft_lin_rule | Source code |
| substitute_values | Man page |
| suffix | Source code |
| to_exprs | Source code |
| to_lp | Source code |
| to_miprules | Source code |
| translate_mip_lp | Man page Source code |
| validatetools | Man page |
| validatetools-package | Man page |
