Quality of Life Changes for the Probability Problem
these criteria are not set in stone and other ideas/ modifications are appreciated
Divides Case
Term Generation
Term Checking
There should be some way to add rules for terms that are not interesting. To allow for new rules and easy handling, there should be one central place in the code where all these rules are checked and a new term is generated / something about the current term is changed if it fails. Rules could be:
- no min if the other side is 0
- similarly no max if the other side is the max possible for that variable
- no 0 in addition /subtraction
feel free to add more
Quality of Life Changes for the Probability Problem
these criteria are not set in stone and other ideas/ modifications are appreciated
Divides Case
This is what it currently looks like
Term Generation
(A op B) ? CandA ? (B op C)currently the terms always consist of
(A op B) ? (C op D)for depth 2 (see picture above).Term Checking
There should be some way to add rules for terms that are not interesting. To allow for new rules and easy handling, there should be one central place in the code where all these rules are checked and a new term is generated / something about the current term is changed if it fails. Rules could be:
feel free to add more