AngouriMath

Navigation

← Back to list of members

Step​(AngouriMath.​Core.​Transformations.​RewriteRecording.​Edge[],​System.​Int32,​AngouriMath.​Core.​Transformations.​RewriteStep[])

 Method (no overloads)

Summary

One recorded edge as a DerivationStep, with the rewrites that
fired inside it attached.

























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