search

ellmau / adf-obdd

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
https://ellmau.github.io/adf-obdd/
MIT License
9 stars 0 forks source link

Output Ordering #10

Open ellmau opened 2 years ago

ellmau commented 2 years ago

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 commented 1 year ago

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