Metatheory.jl icon indicating copy to clipboard operation
Metatheory.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaSymbolics

Make the EGraph pattern matcher instantiate to ENodes instead of actual expressions with eclasses as children.

Open 0x0f0f0f opened this issue 2 years ago • 0 comments

This issue gets in the way for #82 . See https://github.com/JuliaSymbolics/Metatheory.jl/blob/edfa8911f26dbfadd3108b381f8c88d6a24efb61/src/EGraphs/ematch.jl#L37-L47

0x0f0f0f avatar Oct 26 '21 12:10 0x0f0f0f