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

Output Ordering #10

Open
ellmau opened this issue Jan 6, 2022 · 1 comment
Open

Output Ordering #10

ellmau opened this issue Jan 6, 2022 · 1 comment
Labels
binary This issue or pull request is related to the binary good first issue Good for newcomers library This issue or pull request is related to the library
Milestone
Future Features

Comments

@ellmau
Copy link
Owner

ellmau commented Jan 6, 2022

Right now the input is ordered when using the options for ordering.

An additional feature to order only the output, while still using the original ordering, would be a good additional feature.
@ellmau ellmau added the good first issue Good for newcomers label Jan 6, 2022
@ellmau ellmau added this to the Future Features milestone Jan 6, 2022
@ellmau ellmau added this to ADF-OBDD Mar 3, 2022
@ellmau ellmau moved this to Todo in ADF-OBDD Mar 3, 2022
@ellmau ellmau added binary This issue or pull request is related to the binary library This issue or pull request is related to the library labels Mar 15, 2022
@ellmau
Copy link
Owner Author

ellmau commented Jul 29, 2022

The most work seems to be in adf_bdd::datatypes::adf::PrintDictionary and adf_bdd::datatypes::adf::PrintableInterpretation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
binary This issue or pull request is related to the binary good first issue Good for newcomers library This issue or pull request is related to the library
Projects
ADF-OBDD
Status: Todo
Milestone
Future Features
Development

No branches or pull requests
1 participant
@ellmau