General question for using jdd library without any reduction rules

[Anna Hofstaetter]

Hello Arash Vahidi, is it possible to show a binary decision tree when any reduction rules are not applied (via dot for example) using this jdd library? Can I prevent that any reduction rules will be adopted? Many thanks for your reply! Anna Hofstaetter

[Arash Vahidi (private)]

All internal data structures require that the tree is fully reduced and all algorithms rely on that. So JDD does not natively support what you want

Given a reduced BDD you can still traverse the full tree and visit all nodes, for example by exhaustive search and calls to BDD.member(), but you have to write the code yourself.

[Anna Hofstaetter]

Thank you, Arash Vahidi, for your reply and your explanations.