AngouriMath
Restate(System.Int32,AngouriMath.Entity,System.String,System.String)
Method (no overloads)
Summary
Writes the step the decision in progress recorded last, since mark ,
as a step aboutstatement by rule , keeping its
verdict and depth. A quantifier that decided its body with facts in scope records the
statement as it was written, rather than the body those facts made of it.
as a step about
verdict and depth. A quantifier that decided its body with facts in scope records the
statement as it was written, rather than the body those facts made of it.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online