AlgebraicJulia / AlgebraicJulia/ACSets.jl
Merging Parts of an ACSet
Offen
- Vorherrschende Sprache
- Julia
- Sterne
- 36
- Forks
- 11
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
We have an API for adding and removing parts of an ACSet, but do we have an API for merging them? I know that @olynch and @kris-brown were working on UnionFind stuff for allowing highly dynamic merges necessary to make labels work. But I can't see the status of that in the API docs (see #151).
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.