[Javabdd-devel] Extracting ITE formula

[Yannic N. <nol...@gm...>]

Hi all,

I'm a newbie using JavaBDD. Is there any possibility to extract the ITE
formed formula from a BDD object?

Cheers,
Yannic