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           Tools for validation rules
