FDD to ROBDD

Question

I understood the procedure for converting ZDD to ROBDD:

1. compute the set representations all nodes of the ZDD
2. read the full DNF from the set representations
3. convert the obtained DNF to Shannon normal form to get the BDD

Similarly, are there any rules for converting FDD to ROBDD? Could you please help me to solve this issue? [I have seen the FDD2BDD algorithm, are there any certain rules like the above mentioned?]

Answer 1

Sure, you can proceed completely analogously:

1. compute the set representations of all nodes of the FDD
2. convert the set representations to the Reed Muller Normal Form (RMNF)
3. convert the obtained RMNF to Shannon normal form to get the BDD

Comments

Thank you, Professor