AngouriMath
UntilStable(System.Int32)
Method (no overloads)
Summary
Runs this transformation until its output stops changing, giving up after
maxIterations applications.
Parameter "maxIterations"
The bound on applications; must be positive.
Remarks
Hitting the bound is reported as no answer rather than as the last value
reached. An unbounded rewrite loop is the failure mode this layer is supposed to
make visible, and handing back a value from the middle of one would hide exactly
the case worth seeing. It is also what lets a test assert that a rule set has a
fixed point on a given expression instead of assuming it.
reached. An unbounded rewrite loop is the failure mode this layer is supposed to
make visible, and handing back a value from the middle of one would hide exactly
the case worth seeing. It is also what lets a test assert that a rule set has a
fixed point on a given expression instead of assuming it.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online