AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

ApplyCore(AngouriMath.Entity)

Method (no overloads)

Remarks

What this reports to a RewriteRecording, and what it does not. The pass as a whole, and nothing finer. A rule set records each firing because a
firing there is the rewrite -- the node it matched leaves and the
replacement takes its place. A firing here is not: it adds another member to an
e-class, every member of which is already believed equal, and the answer is then
chosen by EGraph.Extract from all of them at once. Most firings
contribute nothing to what extraction picked, and none of them is a step on a route
from the input to the output, because there is no route -- that is the whole point
of saturating rather than rewriting. Reporting them as
RewriteSteps would name rewrites that are not in the answer.
So one edge, input to output, under this transformation's own
Name. That is a true statement at the grain a derivation is read at,
and it is what was missing: a caller who opened a recording round this used to get
a real rewrite with an empty derivation, and nothing to distinguish
"introspection cannot see this" from "there was nothing to see".

AngouriMath

Table of contents

AngouriMath

ApplyCore​(AngouriMath.​Entity)

ApplyCore(AngouriMath.Entity)