Learn R Programming

validatetools (version 0.6.1)

Checking and Simplifying Validation Rule Sets

Description

Rule sets with validation rules may contain redundancies or contradictions. Functions for finding redundancies and problematic rules are provided, given a set a rules formulated with 'validate'.

Copy Link

Version

Install

install.packages('validatetools')

Monthly Downloads

401

Version

0.6.1

License

MIT + file LICENSE

Issues

5

Pull Requests

0

Stars

16

Forks

3

Maintainer

Edwin Jonge

Last Published

July 11th, 2025

Functions in validatetools (0.6.1)

mip_rule

Create a rule used by mip
remove_redundancy

Remove redundant rules
is_infeasible

Check the feasibility of a rule set
is_implied_by

Find which rule(s) imply a rule
substitute_values

substitute a value in a rule set
simplify_rules

Simplify a rule set
translate_mip_lp

translate linear rules into an lp problem
is_linear

Check which rules are linear rules.
make_feasible

Make an infeasible system feasible.
validatetools

Tools for validation rules
detect_infeasible_rules

Detect which rules cause infeasibility
detect_boundary_num

Detect the allowed range for numerical variables
detect_fixed_variables

Detect fixed variables
detect_redundancy

Detect redundant rules
detect_boundary_cat

Detect domains for categorical variables
cat_coefficients

Get coefficient matrix from categorical rules
detect_contradicting_if_rules

Detect contradictory if-rules
is_categorical

Check whether rules are categorical
is_contradicted_by

Find out which rules are conflicting
expect_values

expect values
cat_as_mip_rules

get categorical rules as mip_rules
is_conditional

Check whether rules are conditional rules
simplify_conditional

Simplify conditional statements
simplify_fixed_variables

Simplify fixed variables