Does anyone know why RexUtil.toCnf() has a version of the method that takes a limit arg: toCnf(RexBuilder rexBuilder, int maxCnfNodeCount, RexNode rex), but there is no such version for RexUtil.toDnf()? Is there any special reason for this? Can we add a similar version for RexUtil.toDnf() then?
- Why RexUtil.toCnf() has version that takes a limit but RexUtil... Yingyu Wang
