AngouriMath
EMatch(AngouriMath.Core.Transformations.EGraph,System.Int32,AngouriMath.Core.Transformations.Matching.EBindings,System.Func{AngouriMath.Entity,System.Double})
Method (no overloads)
Summary
Every way this pattern can match the e-class classId , extending
bindings -- the e-graph counterpart of Match(AngouriMath.Entity,AngouriMath.Core.Transformations.Matching.Bindings). Only
meaningful where CanEMatch; a caller must check that first.
meaningful where CanEMatch; a caller must check that first.
Parameter "graph"
The e-graph classId belongs to.
Parameter "classId"
The e-class to match against.
Parameter "bindings"
The bindings so far, extended rather than replaced.
Parameter "cost"
Used only where a lazily-extracted witness is needed (an inline where predicate)
-- see the remarks onDocs/Contributing/EMatching.md 's "lazy extraction" section.
-- see the remarks on
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online