I understood the procedure for converting ZDD to ROBDD:

- compute the set representations all nodes of the ZDD
- read the full DNF from the set representations
- 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?]