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

Optimize internal operations in E-Graphs

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

The EGraph type and operations extensively use dictionaries. Consider performance tips from the Julia manual: https://docs.julialang.org/en/v1/manual/performance-tips/

From https://dl.acm.org/doi/pdf/10.1145/3434304 : "egg sorts e-nodes within each e-class ot enable binary search and also maintains a cache mapping function symbols to e-classes that contain e-nodes with that function symbol"

0x0f0f0f avatar Jan 29 '21 16:01 0x0f0f0f