AngouriMath
Witness(AngouriMath.Functions.Boolean.Quantifiers.Kind,AngouriMath.Entity.Variable,AngouriMath.Entity.Set,AngouriMath.Entity,System.Boolean)
Method (no overloads)
Summary
A member of the set where the body decides the statement: false for
forall , true for exists , or two where it is true for exists! .
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online