Children are classes not nodes

egraphs-good / egraph-serialize

egraph <-> json

MIT License

8 stars 3 forks source link

Closed saulshanabrook closed 11 months ago

saulshanabrook commented 11 months ago

I believe that the children should point to e-classes, instead of particular node IDs.

saulshanabrook commented 11 months ago

Closing due to this being an intentional choice to represent extra information in egglog for proofs.