detect_boundary_cat |
Detect viable domains for categorical variables |
detect_boundary_num |
Detect the range for numerical variables |
detect_fixed_variables |
Detect fixed variables |
detect_infeasible_rules |
Detect which rules cause infeasibility |
detect_redundancy |
Detect redundant rules without removing. |
expect_values |
expect values |
is_categorical |
Check if rules are categorical |
is_conditional |
Check if rules are conditional rules |
is_contradicted_by |
Find out which rules are conflicting |
is_implied_by |
Find which rule(s) make rule_name redundant |
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 |
translate_mip_lp |
translate linear rules into an lp problem |
validatetools |
Tools for validation rules |