search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
400 stars 45 forks source link

API-supported way for translating between `Value`s in an `egglog::EGraph` and `ClassID`s in an `egraph_serialize::EGraph` #392

Closed gussmith23 closed 3 weeks ago

gussmith23 commented 1 month ago

For a number of reasons which are generally summed up by this issue, I often need to work with both egglog::EGraphs and egraph_serialize::EGraphs. It would be great to have an API-supported, stable way of translating between Values in an EGraph and EClass IDs in a serialized EGraph. As @saulshanabrook pointed out to me, it seems like the process of serialization uses a Value's index into the hashcons to generate its corresponding EClass ID, so that's a hacky way of going back and forth: https://github.com/egraphs-good/egglog/blob/0da32092999b558486b521b5a106a523d032ffd4/src/serialize.rs#L104-L105

However, it would give me peace of mind to have a way of doing this that's library-supported!

Thanks all!

saulshanabrook commented 1 month ago

I can work on adding to the public API functions to go from the e-class ID to Value and vice versa.