-
Notifications
You must be signed in to change notification settings - Fork 5
Open
Description
In the Inplace module https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/blob/main/src/rewrite/Inplace.jl it would be nice to have something like rewrite_match_maps!
which does the rewrite inplace but returns the maps like rewrite_match_maps
does (https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/blob/main/src/rewrite/DPO.jl).
This is helpful for using inplace rewriting with the incremental homset updating, for example. I'd be happy to look into how to make this contribution, but I don't understand what is going on in the Incremental module; with some rough guidance I could get started.
Metadata
Metadata
Assignees
Labels
No labels