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?

Reply via email to