Steffan Sรธlvsten
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 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...
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...
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...
**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...
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...
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...