AngouriMath
Decide(AngouriMath.Functions.Boolean.Quantifiers.Kind,AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity,System.Boolean)
Method (no overloads)
Summary
Decides the quantified statement with the facts in scope, or null where no rule in the body reads them, for the statement to be decided as before. The
verdict isnull where it is not settled, beside the body simplified
as far as it went, under the name it was given.
verdict is
as far as it went, under the name it was given.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online