| Age | Commit message (Collapse) | Author |
|---|
|
We expose the representation function in UGraph and change the printer
signature to work over the representation instead of the abstract type.
Similarly, the topological sorting algorithm is moved to Vernacentries.
It is now even simpler.
|
|
Instead we export a representation function that gives a high-level view
of the data structure in terms of constraints.
|
|
Add headers to a few files which were missing them.
|
|
|
|
|
|
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.
|
