AngouriMath
EGraph
Description
Summary
An e-graph: e-classes over a union-find, e-nodes keyed by operator, child class and
non-default codomain, hash-consed. The codomain is in the key because an e-class is an
equality claim and a codomain is something two unequal entities can differ in.
non-default codomain, hash-consed. The codomain is in the key because an e-class is an
equality claim and a codomain is something two unequal entities can differ in.
Remarks
#746 tier 2's e-graph,
moved from thework/egraph measurement harness into the library once the harness had
answered what it was built to answer — see that harness's own report for the measurement
this design rests on.
moved from the
answered what it was built to answer — see that harness's own report for the measurement
this design rests on.
Members
ClassCount
PropertyClasses
PropertyConstantClass(AngouriMath.Core.Transformations.ENode)
MethodEulerIntrinsicKey
FieldExtract(System.Int32,System.Func{AngouriMath.Entity,System.Double})
MethodExtractAll(``0)
MethodExtractLeast(System.Int32,System.Collections.Generic.IComparer{AngouriMath.Entity})
MethodFind(System.Int32)
MethodFoldableOps
FieldLeaf(System.String)
MethodleafEntities
FieldNeutralClass(AngouriMath.Core.Transformations.ENode)
MethodneutralFolds
FieldNeutralFolds
PropertyNeutralLeaves
FieldNodeCount
PropertyNodesOf(System.Int32)
MethodRebuild
MethodRuntimeType(AngouriMath.Core.Transformations.ENode)
Method
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online