All functions

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

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.

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

validatetools-package validatetools

Tools for validation rules