AlgebraicJulia / AlgebraicJulia/ACSets.jl
Merging Parts of an ACSet
未關閉
- 主要語言
- Julia
- 星號
- 36
- 分支
- 11
- PR 合併指標
- 30 天內沒有已合併 PR
描述
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).
貢獻指南
這個儲存庫沒有索引到貢獻指南
評估
這個 Issue 還沒有評估資料。