File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -193,7 +193,7 @@ These operations maintains two key (related) invariants:
1931932 . ** Uniqueness of e-nodes**
194194
195195 There do not exist two distinct e-nodes with the same operators and equivalent
196- children in the e-class , either in the same e-class or different e-classes.
196+ children in the e-graph , either in the same e-class or different e-classes.
197197 This is maintained in part by the hashconsing performed by [ ` add ` ] ,
198198 and by deduplication performed by [ ` union ` ] and [ ` rebuild ` ] .
199199
@@ -270,7 +270,7 @@ Put together,
270270 equality saturation explores all possible variants of a
271271 program that can be derived from a set of rewrites,
272272 and then it extracts the best one.
273- This solves the problem of choice describes above,
273+ This solves the problem of choice described above,
274274 as equality saturation essentially applies every rewrite every iteration,
275275 using the e-graph to avoid exponential explosion.
276276
You can’t perform that action at this time.
0 commit comments