General question for using jdd library without any reduction rules
Issue #1
closed
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
Comments (3)
-
repo owner -
repo owner - changed status to closed
-
reporter Thank you, Arash Vahidi, for your reply and your explanations.
- Log in to comment
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.