search

egraphs-good / egglog

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

SymbolGen cleanup #436

Closed Alex-Fischman closed 1 month ago

Alex-Fischman commented 1 month ago

This PR:

  1. Deletes the unused _special methods on SymbolGen.
  2. Deletes the ResolvedGen struct and just impl FreshGen for SymbolGen twice.
  3. Creates one SymbolGen in EGraph that is used everywhere, instead of constructing multiple SymbolGens which is potentially buggy.