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

Generalise bdd_counter for other comparators #82

Closed
SSoelvsten opened this issue Nov 22, 2020 · 2 comments
Closed

Generalise bdd_counter for other comparators #82

SSoelvsten opened this issue Nov 22, 2020 · 2 comments
Labels
📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 🎓 student programmer Work, work...
Milestone
v1.x : Other Sing...

Comments

@SSoelvsten
Copy link
Owner

Also, we should find a better name than bdd_counter. Maybe bdd_threshold... or? Or, maybe instead of exposing the templated function, we should maybe just provide a set of functions; one for each operator.
@SSoelvsten SSoelvsten added the ✨ feature New operation or other feature label Nov 22, 2020
@SSoelvsten SSoelvsten self-assigned this Nov 22, 2020
@SSoelvsten SSoelvsten changed the title Make bdd_counter function generalised for any kind of comparator BDD Algorithm: bdd_counter generalised for other comparators Dec 14, 2020
@SSoelvsten SSoelvsten added the good first issue Good for newcomers label Jan 6, 2021
@SSoelvsten SSoelvsten removed their assignment Jan 6, 2021
@SSoelvsten SSoelvsten added this to the Adiar 1.1 milestone Jan 29, 2021
@SSoelvsten SSoelvsten removed this from the Binary Decision Diagrams 1.1 milestone Jul 14, 2021
@SSoelvsten
Copy link
Owner Author

For how to do so see the zdd_sized_sets function introduced in #128 .

@SSoelvsten SSoelvsten added the 📁 bdd Binary Decision Diagrams label Jan 12, 2022
@SSoelvsten SSoelvsten removed the good first issue Good for newcomers label Aug 3, 2022
@SSoelvsten SSoelvsten mentioned this issue Mar 15, 2023
Open
3 tasks
@SSoelvsten SSoelvsten added the 🎓 student programmer Work, work... label Mar 15, 2023
@SSoelvsten SSoelvsten changed the title BDD Algorithm: bdd_counter generalised for other comparators Generalise bdd_counter for other comparators May 12, 2023
@SSoelvsten
Copy link
Owner Author

With #537 we remove bdd_counter. So I will close this issue, until someone has a feature request to add it (renamed to bdd_threshold) anew.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 🎓 student programmer Work, work...
Projects
None yet
Milestone
v1.x : Other Singly-Recursive Features
Development

No branches or pull requests
1 participant
@SSoelvsten