API for validatetools
Checking and Simplifying Validation Rule Sets

Global functions
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_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_fixed_variables Man page 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
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_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_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 Source code
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
validatetools documentation built on Nov. 17, 2017, 5:05 a.m.