- <init>
- convertToCNF
Convert an expression so that the top level operator is AND with OR operators
under it. This routine
- flatten
Converts multi-level ands and ors into single level ones.
- foldMaybe
Remove MAYBE values from the expression. If they are in an AND operator, they
are dropped. If they a
- pushDownNot
Push the negations all the way to just before the leaves. Also remove double
negatives.
- addLeaf
- boxLiteral
- compactLeaves
Recursively explore the tree to find the leaves that are still reachable after
optimizations.
- generateAllCombinations
Generate all combinations of items on the andList. For each item on the andList,
it generates all co
- getType
- rewriteLeaves
Rewrite expression tree to update the leaves.