AngouriMath
EBindings
Description
Summary
The e-graph counterpart of Bindings: a set of named holes, each standing for
an e-class id rather than an Entity. Same cons-list shape, for the same reason
-- see Bindings's own remarks -- plus one concrete win it gets for free: a name
bound twice (x - x -> 0 's repeated x ) becomes an O(1) class-id comparison
instead of an Equals(AngouriMath.Entity) call.
an e-class id rather than an Entity. Same cons-list shape, for the same reason
-- see Bindings's own remarks -- plus one concrete win it gets for free: a name
bound twice (
instead of an Equals(AngouriMath.Entity) call.
Members
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online