Open saulshanabrook opened 2 months ago
As a follow up to #11, we could add an algorithm here that recursively removes all empty e-classes as well as all parents which point to them. This is what @oflatt implemented in https://github.com/egraphs-good/egglog/pull/368.
As a follow up to #11, we could add an algorithm here that recursively removes all empty e-classes as well as all parents which point to them. This is what @oflatt implemented in https://github.com/egraphs-good/egglog/pull/368.