All functions |
|
---|---|
Detect domains for categorical variables |
|
Detect the allowed range for numerical variables |
|
Detect contradictory if-rules |
|
Detect fixed variables |
|
Detect which rules cause infeasibility |
|
Detect redundant rules |
|
Check whether rules are categorical |
|
Check whether rules are conditional rules |
|
Find out which rules are conflicting |
|
Find which rule(s) imply a rule |
|
Check the feasibility of a rule set |
|
Check which rules are linear rules. |
|
Make an infeasible system feasible. |
|
Remove redundant rules |
|
Simplify conditional statements |
|
Simplify fixed variables |
|
Simplify a rule set |
|
substitute a value in a rule set |
|
Tools for validation rules |