Steffan Sølvsten

There is some discrepancy between the default settings we have picked with the convenient *makefile* and the VSCode plugin for CMake. We should configure the latter to better align our...

By adding a `.peek` / `.top()` function to both types of sorters, we can simplify the *levelized priority queue* and also the *reduce* algorithm: currently they both store the peeked...

Add templated constructor for `arc` specifying is-high flag

1

Add a templated constructor for the `arc` class with a single templated argument `bool is_high`. **Tasks in `arc` class** - [ ] Specialization for `is_high = false` is equivalent to...

Move data_types/ `toString` method from test/ to src/

4

In *test/test.h* we have several *stringizer* functions that create pretty-printed version of the basic data types. These ought to be moved over into the respective classes in *src/* such that...

Add `bdd_replace` for monotonic renamings

1

As an initial step from the nested sweeping in *v2.0* for the multi-variable quantification and the relational product in *v2.1*, we should address the basics of relabelling (assuming the relabelling...

As part of #467 , it turns out that the MSVC compiler does not at all like references to C-like arrays. Furthermore, one could argue it is prettier to stick...

Levelized Files

1

**Motivation** 1. A lot of our files are of the temporary *read-once-and-produce-output* type (specifically `arc_file` and `node_file` with move-semantics). Hence, to be able to squeeze more BDDs / ZDDs into...

Improve Memory Distribution for Levelized Priority Queue

1

When going from *v1.0.1* to *v1.1.0*, we changed the way the levelized priority queue distributes its memory. Specifically, for *M* being the total amount of memory given to the levelized...

Adiar is built ontop of abstractions of the TPIE library to improve the code quality of our own code base and extend it with some custom functionality. An alternative to...

Generalise `reduce_flags` into `tuple<bool, _>`

1

While solving #412 , I created the `reduce_flags` class to hold a tuple of `bool` values inside of a single unsigned integer. This class should be generalised into a specialialisation...