AngouriMath
Rebuild
Method (no overloads)
Summary
Restores congruence: after a union, e-nodes whose children are now in the same class
as each other are congruent and are merged too, repeated until nothing more merges.
This is the step that makes an e-graph an e-graph rather than a set of terms related
only by the unions asked for directly.
as each other are congruent and are merged too, repeated until nothing more merges.
This is the step that makes an e-graph an e-graph rather than a set of terms related
only by the unions asked for directly.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online