Not as such. But I think RelOptUtil.conjunctions(RexNode) and
.disjunctions(RexNode) will make the task easier.
Given an expression in DNF, rex = “(a AND b) OR c”, the following loop will
decompose into parts:
for (RexNode disjunction : disjunctions(rex)) {
for (RexNode conjunction : conjunctions(disjunction)) {
...
}
}
Julian
PS For those not into the jargon:
http://en.wikipedia.org/wiki/Disjunctive_normal_form
On Aug 29, 2014, at 12:18 PM, John Pullokkaran <[email protected]>
wrote:
> Is there a utility in Optiq that can convert DNF to CNF?
>
> Thanks
> John
>
> --
> CONFIDENTIALITY NOTICE
> NOTICE: This message is intended for the use of the individual or entity to
> which it is addressed and may contain information that is confidential,
> privileged and exempt from disclosure under applicable law. If the reader
> of this message is not the intended recipient, you are hereby notified that
> any printing, copying, dissemination, distribution, disclosure or
> forwarding of this communication is strictly prohibited. If you have
> received this communication in error, please contact the sender immediately
> and delete it from your system. Thank You.
