AngouriMath

Navigation

← Back to list of members

Growth

 Property

Summary

Whether this rule's replacement is smaller, the same size, or larger than its pattern.
Computed exactly from NodeCount where the replacement is a
pattern; declared, not derived, where it is code, the same way
Soundness is declared rather than derived — a code-built replacement has no
pattern tree to count nodes on, so the only source of truth is whoever wrote the rule and
can justify the claim. Undeclared code-built rules stay Unknown,
which is the honest default: not proven safe is not the same as safe.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online