AngouriMath
RewriteRuleSet
Description
Summary
A named, attributable group of rewrites — the unit this library has always written
them in — carrying what it is called, what it claims and how well justified the
claim is, so that the set can be enumerated, tested and referred to by name instead
of only being called.
them in — carrying what it is called, what it claims and how well justified the
claim is, so that the set can be enumerated, tested and referred to by name instead
of only being called.
Remarks
it. Those rules are generated from the
written out again, so the
this calls, and the two cannot drift apart. See
#825 and
#746 item 50.
Members
ApplyOnceRecording(AngouriMath.Entity,AngouriMath.Core.Transformations.RewriteRecording)
MethodAsTransformation
MethodDescription
PropertyIsNormalization
PropertyName
PropertyRelation
PropertyRules
PropertySoundness
PropertyToString
Method
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4405 pages online