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 bdd_replace statistics #669

Closed
4 tasks done
SSoelvsten opened this issue Jun 4, 2024 · 0 comments · Fixed by #670
Closed
4 tasks done

Add bdd_replace statistics #669

SSoelvsten opened this issue Jun 4, 2024 · 0 comments · Fixed by #670
Assignees
@SSoelvsten
Labels
📁 statistics In the name of science!
Milestone
v2.1 : Relational...

Comments

@SSoelvsten
Copy link
Owner

SSoelvsten commented Jun 4, 2024 •
edited
Loading

In #498 , we add the bdd_replace function to allow the user to do variable substitution. We should add its own statistics struct.

  • Types of algorithms
    • Runs with no remapping (identity)
    • Runs of linear-scan mapping (monotone relabelling on reduced inputs).
    • Runs of reduce remapping (monotone relabelling on unreduced inputs).
    • Runs with Nested Sweeping (non-monotonic relabelling)
@SSoelvsten SSoelvsten added the 📁 statistics In the name of science! label Jun 4, 2024
@SSoelvsten SSoelvsten added this to the v2.1 : Relational Product milestone Jun 4, 2024
@SSoelvsten SSoelvsten self-assigned this Jun 4, 2024
@SSoelvsten SSoelvsten mentioned this issue Jun 6, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@SSoelvsten SSoelvsten

Labels
📁 statistics In the name of science!
Projects
None yet
Milestone
v2.1 : Relational Product
Development

Successfully merging a pull request may close this issue.

Add bdd_replace SSoelvsten/adiar
1 participant
@SSoelvsten