- toConjunctiveNormalFormArray
Transforms a expression to an array of conjunctive normal formed expressions.
- containSingleVar
- createSingletonExprFromCNF
Convert a list of conjunctive normal forms into a singleton expression.
- toDisjunctiveNormalFormArray
Transforms a expression to an array of disjunctive normal formed expressions.
- eliminateConstantExprs
Simplify the given expr. That is, all subexprs consisting of only constants are
calculated immediate
- getRearrangedCNFExpressions
Build Exprs for all columns with a list of filter conditions. For example,
consider you have a parti
- commutate
Commutate two terms which are added, subtracted and multiplied.
- createSingletonExprFromCNFByExpr
Convert a list of conjunctive normal forms into a singleton expression.
- createSingletonExprFromCNFRecursive
- createSingletonExprFromCNFRecursiveByExpr
- createSingletonExprFromDNF
Convert a list of conjunctive normal forms into a singleton expression.
- createSingletonExprFromDNFRecursive