| Age | Commit message (Collapse) | Author |
|---|
|
We try to avoid reallocating the map in two different ways.
- We only add a value when actually needed.
- We compute the union of maps with the first element as a starting point.
|
|
A set was created only to be folded over. Since the list is ensured to
be duplicate-free, there is no point in creating the former, we just
fold over the list directly.
|
|
Add headers to a few files which were missing them.
|
|
|
|
Not sure how often this happens in practice but it seems it could.
|
|
This means removing [univ], [level] and derived abbreviations like
[lvl].
We keep using u, v for variable names as doing otherwise would be too
intrusive, and it's not overly universe specific.
|
|
This should give better visibility of universe specific operations vs
generic graph operations.
|
