AngouriMath
DerivationStep
Description
Summary
One whole expression turning into another: the grain a derivation is read at.
Remarks
A RewriteStep is one rule firing on one subexpression, somewhere in
the middle of a pass; a DerivationStep is a pass, with the entire expression
as it stood before it and as it stood after. The second is what can be chained — the
After of one step is the Before of the next — and the first is
what says which identity was used, which is why the rewrites are carried along in
Rewrites rather than replaced by the pass that contained them.
Members
After
PropertyBefore
PropertyExplain
MethodName
PropertyRelation
PropertyRewrites
PropertyRuleSet
PropertySoundness
PropertyToString
Method
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online