Files in validatetools
Checking and Simplifying Validation Rule Sets
MD5
NEWS.md
NAMESPACE
DESCRIPTION
LICENSE
R/implied_by.R
R/mip_lpsolve.R
R/redundancy.R
R/simplify_conditional.R
R/detect_fixed_variables.R
R/expr_manip.R
R/conditional.R
R/local_variable.R
R/detect_boundary.R
R/categorical.R
R/substitute_values.R
R/linear.R
R/soft-rule.R
R/validatetools-package.R
R/contradicted.R
R/dnf.R
R/mip_rule.R
R/simplify_rules.R
R/feasible.R
R/utils.R
tests/testthat.R
tests/testthat/test-simplify_rules.R
tests/testthat/test-categorical.R
tests/testthat/test-feasible.R
tests/testthat/test-soft-rule.R
tests/testthat/test-is_infeasible.R
tests/testthat/test-redundancy.R
tests/testthat/test-simplify_conditional.R
tests/testthat/test-linear.R
tests/testthat/test-substitute_values.R
tests/testthat/test-miprule.R
tests/testthat/test-implied_by.R
tests/testthat/test-mip-lpsolve.R
tests/testthat/test-dnf.R
tests/testthat/test-contradicted.R
tests/testthat/test-detect_boundary.R
tests/testthat/test-conditional.R
tests/testthat/test-detect_fixed_values.R
man/simplify_fixed_variables.Rd
man/is_categorical.Rd
man/simplify_conditional.Rd
man/detect_boundary_cat.Rd
man/detect_boundary_num.Rd
man/is_conditional.Rd
man/detect_redundancy.Rd
man/substitute_values.Rd
man/cat_coefficients.Rd
man/expect_values.Rd
man/translate_mip_lp.Rd
man/is_infeasible.Rd
man/is_linear.Rd
man/is_implied_by.Rd
man/is_contradicted_by.Rd
man/detect_fixed_variables.Rd
man/remove_redundancy.Rd
man/detect_infeasible_rules.Rd
man/validatetools.Rd
man/make_feasible.Rd
man/simplify_rules.Rd
man/mip_rule.Rd
man/cat_as_mip_rules.Rd
