Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add zdd_ite #592

Open
1 task
SSoelvsten opened this issue Dec 5, 2023 · 0 comments
Open
1 task

Add zdd_ite #592

SSoelvsten opened this issue Dec 5, 2023 · 0 comments
Labels
✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
Milestone
v1.1 : Zero-suppr...

Comments

@SSoelvsten
Copy link
Owner

Since we already provide ZDD operations with BDD semantics (i.e. zdd_top(), zdd_bot(), zdd_ithvar(x), and zdd_nithvar(x)), we may as well also provide the if-then-else operation. Currently, the end-user would have to fake it by computing (f & g) | (~f & h)
@SSoelvsten SSoelvsten added ✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams labels Dec 5, 2023
@SSoelvsten SSoelvsten mentioned this issue Dec 5, 2023
Open
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
Projects
None yet
Milestone
v1.1 : Zero-suppressed Decision Diagrams
Development

No branches or pull requests
1 participant
@SSoelvsten