AngouriMath
EmitEveryCompletion(System.Int32[],System.Int32,AngouriMath.Core.MatrixBuilder)
Method (no overloads)
Summary
Writes out every way of filling in the variables from depth on,
in counting order. Called where the expression is already true whatever they are.
in counting order. Called where the expression is already true whatever they are.
Remarks
This is where the cost of the method's shape lands. The search is cheap, but every
model has to be written down, and a formula that most assignments satisfy has a
great many: a tautology over 22 variables is four million rows and 2.4 GB. So this
is the loop that most needs to be interruptible — the caller cannot know in advance
that the answer will not fit.
model has to be written down, and a formula that most assignments satisfy has a
great many: a tautology over 22 variables is four million rows and 2.4 GB. So this
is the loop that most needs to be interruptible — the caller cannot know in advance
that the answer will not fit.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online